Line data    Source code

       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           0 : static inline void acpi_reboot(void) { }
       9             : #endif
      10             : 
      11             : #endif
      12             :