def AcpiFadt.block
import bend-osdev-acpi@0.1.1.0/fadt.bend as Fadtimport Base
import bend-osdev-acpi@0.1.1.0/gas.bend as G
270# a register block as a Generic Address: the X_ block when present and its
271# address is non-zero, else the 32-bit port with its length (a system I/O
272# block; address 0 when the block is absent)
273def AcpiFadt.block(+f: AcpiFadt, +k: AcpiFadtBlock) -> G.AcpiGas:
274 fadt.block.go(k, AcpiFadt.ext(f), fadt.core.legacy(k, AcpiFadt.core(f)))