1 extern void highbank_set_cpu_jump(int cpu, void *jump_addr);
2 extern void highbank_clocks_init(void);
3 extern void __iomem *scu_base_addr;
4 #ifdef CONFIG_DEBUG_HIGHBANK_UART
5 extern void highbank_lluart_map_io(void);
7 static inline void highbank_lluart_map_io(void) {}