def rs.p3

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

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
import bend-osdev-acpi@0.1.1.0/fields.bend as F

108def rs.p3(ok: Bool, +o: B.Octets) -> Result<&2, &2, E.AcpiError, AcpiRsdp>:
109  match ok:
110    case False{}:
111      Fail{E.AcpiRsdpBadChecksum{C.AcpiChecksum.sum(B.Octets.take(20n, o))}}
112    case True{}:
113      rs.p4(U32.is_lt(F.AcpiF.u8(o, 15n), 2), o)