type AcpiHpet
import bend-osdev-acpi@0.1.1.0/hpet.bend as Hpetimport Base
import bend-osdev-acpi@0.1.1.0/header.bend as H
import bend-osdev-acpi@0.1.1.0/gas.bend as G
23type AcpiHpet is Data:
24 AcpiHpet{header: H.AcpiHeader, block_id: U32, base: G.AcpiGas, number: U32, min_tick: U32, page_protection: U32}