def facs.p2

bend-osdev-acpi@0.1.1.0 · facs.bend:33

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/fields.bend as F

33def facs.p2(ok: Bool, +o: B.Octets) -> Result<&2, &2, E.AcpiError, AcpiFacs>:
34  match ok:
35    case False{}:
36      Fail{E.AcpiBadSignature{B.Octets.take(4n, o)}}
37    case True{}:
38      +l = F.AcpiF.u32(o, 4n)
39      facs.p3(Nat.is_le(64n, U32.to_nat(l)), l, o)