xref: /linux/include/acpi/reboot.h (revision 26fbb4c8c7c3ee9a4c3b4de555a8587b5a19154e) 
1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __ACPI_REBOOT_H
3 #define __ACPI_REBOOT_H
4 
5 #ifdef CONFIG_ACPI
6 extern void acpi_reboot(void);
7 #else
8 static inline void acpi_reboot(void) { }
9 #endif
10 
11 #endif
12 
13