def rs.p6

bend-osdev-acpi@0.1.1.0 · rsdp.bend:86

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/checksum.bend as C

86def rs.p6(ok: Bool, +l: U32, +o: B.Octets) -> Result<&2, &2, E.AcpiError, AcpiRsdp>:
87  match ok:
88    case False{}:
89      Fail{E.AcpiBadLength{l}}
90    case True{}:
91      rs.p7(C.AcpiChecksum.ok(B.Octets.take(U32.to_nat(l), o)), l, o)