- uint32_t firmware_controller_addr;
- uint32_t dsdt_addr;
- uint8_t pm_profile;
- uint16_t sci_int;
- uint32_t smi_cmd_port_addr;
- uint8_t smi_acpi_enable;
- uint8_t smi_acpi_disable;
- uint8_t smi_s4bios_state;
- uint8_t smi_pstate;
- uint32_t pm_reg_ports[6];
- uint32_t gpe0_port_addr;
- uint32_t gpe1_port_addr;
- uint8_t pm_reg_lens[4];
- uint8_t gpe0_len;
- uint8_t gpe1_len;
- uint8_t gpe1_base;
- uint8_t cst_cnt;
- uint16_t p_lvl2_lat;
- uint16_t p_lvl3_lat;
- uint16_t flush_size;
- uint16_t flush_stride;
- uint8_t duty_offset;
- uint8_t duty_width;
- uint8_t time_info[3];
- uint16_t boot_arch;