18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifndef __HIGHBANK_CORE_H 38c2ecf20Sopenharmony_ci#define __HIGHBANK_CORE_H 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ci#include <linux/reboot.h> 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ciextern void highbank_restart(enum reboot_mode, const char *); 88c2ecf20Sopenharmony_ciextern void __iomem *scu_base_addr; 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ci#ifdef CONFIG_PM_SLEEP 118c2ecf20Sopenharmony_ciextern void highbank_pm_init(void); 128c2ecf20Sopenharmony_ci#else 138c2ecf20Sopenharmony_cistatic inline void highbank_pm_init(void) {} 148c2ecf20Sopenharmony_ci#endif 158c2ecf20Sopenharmony_ci 168c2ecf20Sopenharmony_ciextern void highbank_smc1(int fn, int arg); 178c2ecf20Sopenharmony_ci 188c2ecf20Sopenharmony_ci#endif 19