drivers/acpi/reboot.c

1 // SPDX-License-Identifier: GPL-2.0
6 #include <linux/delay.h>
14 	/* The reset register can only live on bus 0. */  in acpi_pci_reboot()
19 	devfn = PCI_DEVFN((rr->address >> 32) & 0xffff,  in acpi_pci_reboot()
20 			  (rr->address >> 16) & 0xffff);  in acpi_pci_reboot()
22 	/* Write the value that resets us. */  in acpi_pci_reboot()
24 			(rr->address & 0xffff), reset_value);  in acpi_pci_reboot()
44 	/* ACPI reset register was only introduced with v2 of the FADT */  in acpi_reboot()
49 	/* Is the reset register supported? The spec says we should be  in acpi_reboot()
57 	/* The reset register can only exist in I/O, Memory or PCI config space  in acpi_reboot()
59 	switch (rr->space_id) {  in acpi_reboot()
73 	 * ACPI reset register, and this results in racing with the  in acpi_reboot()
76 	 * The 15ms delay has been found to be long enough for the system  in acpi_reboot()