def AcpiF.u16
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
12def AcpiF.u16(o: B.Octets, +i: Nat) -> U32:
13 Maybe.default(&2, U32, B.Octets.le16_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
12def AcpiF.u16(o: B.Octets, +i: Nat) -> U32:
13 Maybe.default(&2, U32, B.Octets.le16_at(o, i), 0)