def AcpiHpet.counter_64
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
66def AcpiHpet.counter_64(t: AcpiHpet) -> Bool:
67 F.AcpiF.bit(AcpiHpet.block_id(t), 13n)
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
66def AcpiHpet.counter_64(t: AcpiHpet) -> Bool:
67 F.AcpiF.bit(AcpiHpet.block_id(t), 13n)