def res.large.fit

bend-osdev-acpi@0.1.1.0 · aml_resource.bend:218

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

218def res.large.fit(ok: Bool, +t: Nat, +n: Nat, +o: B.Octets) -> Result<&2, &2, E.AcpiError, AmlResNext>:
219  match ok:
220    case False{}:
221      Fail{E.AcpiBadEntry{0n, U32.add(128, U32.from_nat(t))}}
222    case True{}:
223      Done{AmlResMore{res.large(t, B.Octets.take(n, o)), B.Octets.drop(n, o)}}