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

source code of linux/arch/arm/mach-highbank/core.h