1 #ifndef __HIGHBANK_CORE_H
2 #define __HIGHBANK_CORE_H
4 #include <linux/reboot.h>
6 extern void highbank_set_cpu_jump(int cpu, void *jump_addr);
7 extern void highbank_restart(enum reboot_mode, const char *);
8 extern void __iomem *scu_base_addr;
10 #ifdef CONFIG_PM_SLEEP
11 extern void highbank_pm_init(void);
13 static inline void highbank_pm_init(void) {}
16 extern void highbank_smc1(int fn, int arg);
17 extern void highbank_cpu_die(unsigned int cpu);
19 extern struct smp_operations highbank_smp_ops;