1 #ifndef __HIGHBANK_CORE_H
2 #define __HIGHBANK_CORE_H
4 #include <linux/reboot.h>
6 extern void highbank_restart(enum reboot_mode, const char *);
7 extern void __iomem *scu_base_addr;
10 extern void highbank_pm_init(void);
12 static inline void highbank_pm_init(void) {}
15 extern void highbank_smc1(int fn, int arg);