Fadt.AcpiFadtExt: type of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/fadt.bend as Fadt
Lines 45-47 of bend-osdev-acpi@0.1.1.0/fadt.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&start_line=45&end_line=47

import 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

# bytes 116 to 243
type AcpiFadtExt is Data:
  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}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&name=AcpiFadtX
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/gas.bend&name=AcpiGas
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64