1 extern void highbank_set_cpu_jump(int cpu, void *jump_addr); 2 extern void highbank_clocks_init(void); 3 extern void highbank_restart(char, const char *); 4 extern void __iomem *scu_base_addr; 5 #ifdef CONFIG_DEBUG_HIGHBANK_UART 6 extern void highbank_lluart_map_io(void); 7 #else 8 static inline void highbank_lluart_map_io(void) {} 9 #endif 10 11 extern void highbank_smc1(int fn, int arg); 12