swh:1:snp:49cd9498d6cccc5e78252c27dcb645bcf7bf0c91
Raw File
Tip revision: 84df9525b0c27f3ebc2ebb1864fa62a97fdedb7d authored by Greg Kroah-Hartman on 22 October 2018, 06:37:37 UTC
Linux 4.19
Tip revision: 84df952
reboot.h
/* SPDX-License-Identifier: GPL-2.0 */
#ifndef __ACPI_REBOOT_H
#define __ACPI_REBOOT_H

#ifdef CONFIG_ACPI
extern void acpi_reboot(void);
#else
static inline void acpi_reboot(void) { }
#endif

#endif

back to top