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
highbank_pm_init(void)13 static inline void highbank_pm_init(void) {}
14 #endif
15 
16 extern void highbank_smc1(int fn, int arg);
17 
18 #endif
19