18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifndef __ACPI_REBOOT_H 38c2ecf20Sopenharmony_ci#define __ACPI_REBOOT_H 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ci#ifdef CONFIG_ACPI 68c2ecf20Sopenharmony_ciextern void acpi_reboot(void); 78c2ecf20Sopenharmony_ci#else 88c2ecf20Sopenharmony_cistatic inline void acpi_reboot(void) { } 98c2ecf20Sopenharmony_ci#endif 108c2ecf20Sopenharmony_ci 118c2ecf20Sopenharmony_ci#endif 128c2ecf20Sopenharmony_ci 13