#include <xen/config.h>
#include <xen/pci.h>
#include <xen/acpi.h>
#include <acpi/acpi.h>

void acpi_reboot(void)
{
	struct acpi_generic_address *rr;
	u8 reset_value;

	rr = &acpi_gbl_FADT.reset_register;

	/* 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:
		printk("Resetting with ACPI PCI RESET_REG.\n");
		/* Write the value that resets us. */
		pci_conf_write8(0, 0,
				(rr->address >> 32) & 31,
				(rr->address >> 16) & 7,
				(rr->address & 255),
				reset_value);
		break;
	case ACPI_ADR_SPACE_SYSTEM_MEMORY:
	case ACPI_ADR_SPACE_SYSTEM_IO:
		printk("Resetting with ACPI MEMORY or I/O RESET_REG.\n");
		acpi_hw_low_level_write(8, reset_value, rr);
		break;
	}
}