def AcpiHpet.vendor_id
import bend-osdev-acpi@0.1.1.0/hpet.bend as Hpetimport Base
import bend-osdev-acpi@0.1.1.0/fields.bend as F
59# the fields of the Event Timer Block ID
60def AcpiHpet.vendor_id(t: AcpiHpet) -> U32:
61 F.AcpiF.bits(AcpiHpet.block_id(t), 16n, 16n)