def AcpiFadt.dsdt_address
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
246# the DSDT's address: X_DSDT when present and non-zero, else DSDT
247def AcpiFadt.dsdt_address(+f: AcpiFadt) -> W.W64:
248 fadt.dsdt.go(AcpiFadt.ext(f), fadt.core.dsdt(AcpiFadt.core(f)))