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