1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __HIGHBANK_CORE_H
3 #define __HIGHBANK_CORE_H
5 #include <linux/reboot.h>
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
);