def in.expr.ok

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

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

2530def in.expr.ok(~H: Data, ~io: H -> Hs.AmlHostOp -> Result<&2, &2, E.AcpiError, Hs.AmlHostAns<H>>, ok: Bool, +op: Nat, +code: U32, ks: List<&2, AmlArgK>, c: AmlCur, fs: List<&2, AmlFrame>, +w: AmlWorld<H>) -> AmlMachine<H>:
2531  match ok:
2532    case True{}:
2533      in.start(~H, ~io, AmlOpCode{U32.from_nat(op)}, ks, c, fs, w)
2534    case False{}:
2535      AmlMachine{AmlMFail{E.AcpiAmlBadOperand{code}}, c, fs, w}