LXR linux/include/acpi/reboot.h

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