def in.term.extb

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

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

2632def in.term.extb(~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>:
2633  match r:
2634    case Fail{e}:
2635      AmlMachine{AmlMFail{e}, in.no.cur(), fs, w}
2636    case Done{AmlB{+e, c}}:
2637      in.term.ext(~H, ~io, k, U32.to_nat(e), e, exec, c, fs, w)