def AcpiExample.rsdp
import bend-osdev-acpi@0.1.1.0/example.bend as Exampleimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/rsdp.bend as P
223def AcpiExample.rsdp() -> P.AcpiRsdp:
224 P.AcpiRsdp{B.Octets.of_string("BENDOS"), 2, ex.at(ex.rsdt()), Some{P.AcpiRsdpExt{36, ex.at64(ex.xsdt())}}}