type AcpiFadtBlocks
import bend-osdev-acpi@0.1.1.0/fadt.bend as Fadtimport Base
29# the ACPI 1.0 register blocks: I/O port addresses
30type AcpiFadtBlocks is Data:
31 AcpiFadtBlocks{pm1a_evt: U32, pm1b_evt: U32, pm1a_cnt: U32, pm1b_cnt: U32, pm2_cnt: U32, pm_tmr: U32, gpe0: U32, gpe1: U32}