def AcpiFadt.facs_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
250# the FACS's address: X_FIRMWARE_CTRL when present and non-zero, else
251# FIRMWARE_CTRL (zero on hardware-reduced systems without a FACS)
252def AcpiFadt.facs_address(+f: AcpiFadt) -> W.W64:
253 fadt.facs.go(AcpiFadt.ext(f), fadt.core.facs(AcpiFadt.core(f)))