def AcpiRsdp.xsdt_address
import bend-osdev-acpi@0.1.1.0/rsdp.bend as Rsdpimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
60# the XSDT's address (zero for a revision 0 RSDP)
61def AcpiRsdp.xsdt_address(r: AcpiRsdp) -> W.W64:
62 rs.xsdt(AcpiRsdp.ext(r))