def hd.u32
import bend-osdev-acpi@0.1.1.0/header.bend as Headerimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
91def hd.u32(o: B.Octets) -> U32:
92 Maybe.default(&2, U32, B.Octets.le32_at(o, 0n), 0)
import bend-osdev-acpi@0.1.1.0/header.bend as Headerimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
91def hd.u32(o: B.Octets) -> U32:
92 Maybe.default(&2, U32, B.Octets.le32_at(o, 0n), 0)