def AcpiF.u8
import bend-osdev-acpi@0.1.1.0/fields.bend as Fieldsimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
9def AcpiF.u8(o: B.Octets, i: Nat) -> U32:
10 Maybe.default(&2, U32, B.Octets.at(o, i), 0)
import bend-osdev-acpi@0.1.1.0/fields.bend as Fieldsimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
9def AcpiF.u8(o: B.Octets, i: Nat) -> U32:
10 Maybe.default(&2, U32, B.Octets.at(o, i), 0)