13 lines · c
1/* SPDX-License-Identifier: GPL-2.0 */2#ifndef __ACPI_REBOOT_H3#define __ACPI_REBOOT_H4 5#ifdef CONFIG_ACPI6extern void acpi_reboot(void);7#else8static inline void acpi_reboot(void) { }9#endif10 11#endif12 13 1/* SPDX-License-Identifier: GPL-2.0 */2#ifndef __ACPI_REBOOT_H3#define __ACPI_REBOOT_H4 5#ifdef CONFIG_ACPI6extern void acpi_reboot(void);7#else8static inline void acpi_reboot(void) { }9#endif10 11#endif12 13