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
;