def hpet

bend-osdev-acpi@0.1.1.0 · check.bend:123

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/hpet.bend as Hp

123def hpet(r: Result<&2, &2, E.AcpiError, Hp.AcpiHpet>) -> String:
124  match r:
125    case Done{+h}:
126      "vendor " ++ U32.show(Hp.AcpiHpet.vendor_id(h)) ++ " comparators " ++ U32.show(Hp.AcpiHpet.comparators(h)) ++ " 64-bit " ++ Bool.show(Hp.AcpiHpet.counter_64(h))
127    case Fail{e}:
128      err(e)