type AcpiFadtExt
import bend-osdev-acpi@0.1.1.0/fadt.bend as Fadtimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-acpi@0.1.1.0/gas.bend as G
45# bytes 116 to 243
46type AcpiFadtExt is Data:
47 AcpiFadtExt{reset_reg: G.AcpiGas, reset_value: U32, arm_boot_arch: U32, minor_version: U32, x_firmware_ctrl: W.W64, x_dsdt: W.W64, x: AcpiFadtX}