def in.stmt.ext.chk

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

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

2591def in.stmt.ext.chk(-H: Data, exec: Bool, +x: Nat, c: AmlCur, fs: List<&2, AmlFrame>, +w: AmlWorld<H>) -> AmlMachine<H>:
2592  match exec:
2593    case True{}:
2594      in.stmt.ext(H, x, c, fs, w)
2595    case False{}:
2596      AmlMachine{AmlMFail{E.AcpiAmlBadOperand{U32.add(23296, U32.from_nat(x))}}, c, fs, w}