def mcfg.body

bend-osdev-acpi@0.1.1.0 · mcfg.bend:37

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/header.bend as H

37def mcfg.body(ok: Bool, +h: H.AcpiHeader, +body: B.Octets) -> Result<&2, &2, E.AcpiError, AcpiMcfg>:
38  match ok:
39    case False{}:
40      Fail{E.AcpiBadSize{B.Octets.len(body)}}
41    case True{}:
42      +es = B.Octets.drop(8n, body)
43      Done{AcpiMcfg{h, mcfg.read(Nat.div(B.Octets.len(es), 16n), es)}}