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);
8 static inline void highbank_lluart_map_io(void) {}
11 extern void highbank_smc1(int fn
, int arg
);