void __attribute__ ((noreturn)) arch_shutdown(arch_shutdown_mode_t mode) {
switch (mode) {
case ARCH_SHUTDOWN_MODE_HALT:
acpi_shutdown();
break;
case ARCH_SHUTDOWN_MODE_REBOOT:
/*
* There are several ways to reboot a computer. Unfortunately, none of
* them will work on all machines. We try to use three methods:
* 1. using ACPI;
* 2. via the keyboard controller;
* 3. generating a triple fault.
* You can read more at
* http://mjg59.dreamwidth.org/3561.html
*/
acpi_reset();
arch_reset_kbd();
cpu_triple_reset();
break;
case ARCH_SHUTDOWN_MODE_ABORT:
break;
}
ipl_disable();
while (1) {}
}
int reset(int argc, char *argv[])
{
if (!acpi_connected) {
int r = connect_to_acpi();
assert(r == 0);
acpi_connected = true;
}
return acpi_reset();
}
void acpi_reboot(void)
{
struct acpi_generic_address *rr;
struct pci_bus *bus0;
u8 reset_value;
unsigned int devfn;
if (acpi_disabled)
return;
rr = &acpi_gbl_FADT.reset_register;
/* */
if (acpi_gbl_FADT.header.revision < 2)
return;
/*
*/
if (!(acpi_gbl_FADT.flags & ACPI_FADT_RESET_REGISTER))
return;
reset_value = acpi_gbl_FADT.reset_value;
/*
*/
switch (rr->space_id) {
case ACPI_ADR_SPACE_PCI_CONFIG:
/* */
bus0 = pci_find_bus(0, 0);
if (!bus0)
return;
/* */
devfn = PCI_DEVFN((rr->address >> 32) & 0xffff,
(rr->address >> 16) & 0xffff);
printk(KERN_DEBUG "Resetting with ACPI PCI RESET_REG.");
/* */
pci_bus_write_config_byte(bus0, devfn,
(rr->address & 0xffff), reset_value);
break;
case ACPI_ADR_SPACE_SYSTEM_MEMORY:
case ACPI_ADR_SPACE_SYSTEM_IO:
printk(KERN_DEBUG "ACPI MEMORY or I/O RESET_REG.\n");
acpi_reset();
break;
}
}
void acpi_reboot(void)
{
struct acpi_generic_address *rr;
struct pci_bus *bus0;
unsigned int devfn;
u8 reset_value;
if (acpi_disabled)
return;
rr = &acpi_gbl_FADT.reset_register;
/* ACPI reset register was only introduced with v2 of the FADT */
if (acpi_gbl_FADT.header.revision < 2)
return;
/* Is the reset register supported? The spec says we should be
* checking the bit width and bit offset, but Windows ignores
* these fields */
if (!(acpi_gbl_FADT.flags & ACPI_FADT_RESET_REGISTER))
return;
reset_value = acpi_gbl_FADT.reset_value;
/* The reset register can only exist in I/O, Memory or PCI config space
* on a device on bus 0. */
switch (rr->space_id) {
case ACPI_ADR_SPACE_PCI_CONFIG:
/* The reset register can only live on bus 0. */
bus0 = pci_find_bus(0, 0);
if (!bus0)
return;
/* Form PCI device/function pair. */
devfn = PCI_DEVFN((rr->address >> 32) & 0xffff,
(rr->address >> 16) & 0xffff);
printk(KERN_DEBUG "Resetting with ACPI PCI RESET_REG.\n");
/* Write the value that resets us. */
pci_bus_write_config_byte(bus0, devfn,
(rr->address & 0xffff), reset_value);
break;
case ACPI_ADR_SPACE_SYSTEM_MEMORY:
case ACPI_ADR_SPACE_SYSTEM_IO:
printk(KERN_DEBUG "ACPI MEMORY or I/O RESET_REG.\n");
acpi_reset();
break;
}
}
static void
do_reboot (void)
{
acpi_reset ();
rebooting = true;
/*
asm_outb (0x70, 0x0F);
asm_outb (0x71, 0x00);
asm_outb (0x70, 0x00);
asm_outb (0x64, 0xFE);
*/
if (apic_available ()) {
usleep (1 * 1000000);
printf ("shutdown\n");
asm_wridtr (0, 0);
asm volatile ("int3");
} else {
static void
do_reboot (void)
{
call_initfunc ("panic"); /* for disabling VT-x */
acpi_reset ();
rebooting = true;
/*
asm_outb (0x70, 0x0F);
asm_outb (0x71, 0x00);
asm_outb (0x70, 0x00);
asm_outb (0x64, 0xFE);
*/
if (apic_available ()) {
usleep (1 * 1000000);
printf ("shutdown\n");
asm_wridtr (0, 0);
asm volatile ("int3");
} else {
