1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __HIGHBANK_CORE_H 3 #define __HIGHBANK_CORE_H 4 5 #include <linux/reboot.h> 6 7 extern void highbank_restart(enum reboot_mode, const char *); 8 extern void __iomem *scu_base_addr; 9 10 #ifdef CONFIG_PM_SLEEP 11 extern void highbank_pm_init(void); 12 #else 13 static inline void highbank_pm_init(void) {} 14 #endif 15 16 extern void highbank_smc1(int fn, int arg); 17 18 #endif 19