// SPDX-License-Identifier: GPL-2.0 #define pr_fmt(fmt) … #include <linux/pci.h> #include <linux/acpi.h> #include <acpi/reboot.h> #include <linux/delay.h> #ifdef CONFIG_PCI static void acpi_pci_reboot(struct acpi_generic_address *rr, u8 reset_value) { … } #else static inline void acpi_pci_reboot(struct acpi_generic_address *rr, u8 reset_value) { pr_warn_once("PCI configuration space access is not supported\n"); } #endif void acpi_reboot(void) { … }