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

 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