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
);