def AcpiF.u64

bend-osdev-acpi@0.1.1.0 · fields.bend:18

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

18def AcpiF.u64(o: B.Octets, +i: Nat) -> W.W64:
19  Maybe.default(&2, W.W64, B.Octets.le64_at(o, i), W.W64.zero())