0x0000, // Boot architecture flag (16-bit)\r
RESERVED, // reserved\r
FLAG, // Fixed feature flags\r
- { 0 }, // Address of the Reset Register\r
- 0, // Value for the Reset Register to reset the system\r
+ GAS2_IO(RESET_REG, 1), // Extended address of the Reset Register\r
+ RESET_VALUE, // Value for the Reset Register to reset the system\r
{ RESERVED }, // reserved[3]\r
0, // 64-bit physical addesss of FACS, set at installation\r
0, // 64-bit physical addesss of DSDT, set at installation\r
#define FLAG (EFI_ACPI_2_0_WBINVD | \\r
EFI_ACPI_2_0_PROC_C1 | \\r
EFI_ACPI_2_0_SLP_BUTTON | \\r
- EFI_ACPI_2_0_RTC_S4)\r
+ EFI_ACPI_2_0_RTC_S4 | \\r
+ EFI_ACPI_2_0_RESET_REG_SUP)\r
+#define RESET_REG 0xCF9\r
+#define RESET_VALUE (BIT2 | BIT1) // PIIX3 Reset CPU + System Reset\r
\r
//\r
// Byte-aligned IO port register block initializer for\r