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 6 #ifdef CONFIG_PM_SLEEP 7 extern void highbank_pm_init(void); 8 #else 9 static inline void highbank_pm_init(void) {} 10 #endif 11 12 extern void highbank_smc1(int fn, int arg); 13 extern void highbank_cpu_die(unsigned int cpu); 14 15 extern struct smp_operations highbank_smp_ops; 16