def AcpiMadt.lapic_address
import bend-osdev-acpi@0.1.2.0/madt.bend as Madtimport Base
import bend-osdev-word64@0.1.1.1/word64.bend as W
247# the local APIC's physical address: the 64-bit override structure's, if
248# there is one (5.2.12.8), else the 32-bit field
249def AcpiMadt.lapic_address(m: AcpiMadt) -> W.W64:
250 match m:
251 case AcpiMadt{h, a, f, es}:
252 madt.override(es, W.W64.from_u32(a))