type AcpiRsdpExt
import bend-osdev-acpi@0.1.2.0/rsdp.bend as Rsdpimport Base
import bend-osdev-word64@0.1.1.1/word64.bend as W
28# the revision 2 fields
29type AcpiRsdpExt is Data:
30 AcpiRsdpExt{length: U32, xsdt_address: W.W64}
import bend-osdev-acpi@0.1.2.0/rsdp.bend as Rsdpimport Base
import bend-osdev-word64@0.1.1.1/word64.bend as W
28# the revision 2 fields
29type AcpiRsdpExt is Data:
30 AcpiRsdpExt{length: U32, xsdt_address: W.W64}