def in.read.term

bend-osdev-acpi@0.1.1.0 · aml_interp.bend:2752

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/aml_host.bend as Hs

2752def in.read.term(~H: Data, ~io: H -> Hs.AmlHostOp -> Result<&2, &2, E.AcpiError, Hs.AmlHostAns<H>>, k: AmlArgK, r: Result<&2, &2, E.AcpiError, AmlB>, +exec: Bool, fs: List<&2, AmlFrame>, +w: AmlWorld<H>) -> AmlMachine<H>:
2753  match r:
2754    case Fail{e}:
2755      AmlMachine{AmlMFail{e}, in.no.cur(), fs, w}
2756    case Done{AmlB{+b, c}}:
2757      in.term(~H, ~io, U32.to_nat(b), k, b, exec, c, fs, w)