def in.term.ext

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

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

2598# an extended opcode (0x5B, then this byte)
2599def in.term.ext(~H: Data, ~io: H -> Hs.AmlHostOp -> Result<&2, &2, E.AcpiError, Hs.AmlHostAns<H>>, k: AmlArgK, +x: Nat, +e: U32, +exec: Bool, c: AmlCur, fs: List<&2, AmlFrame>, +w: AmlWorld<H>) -> AmlMachine<H>:
2600  match x:
2601    case 49n:
2602      in.lvar(H, k, V.AmlLDebug{}, V.AmlUninit{}, c, fs, w)
2603    case 129n:
2604      in.stmt.ext.chk(H, exec, 129n, c, fs, w)
2605    case 130n:
2606      in.stmt.ext.chk(H, exec, 130n, c, fs, w)
2607    case 131n:
2608      in.stmt.ext.chk(H, exec, 131n, c, fs, w)
2609    case 132n:
2610      in.stmt.ext.chk(H, exec, 132n, c, fs, w)
2611    case 133n:
2612      in.stmt.ext.chk(H, exec, 133n, c, fs, w)
2613    case 134n:
2614      in.stmt.ext.chk(H, exec, 134n, c, fs, w)
2615    case 135n:
2616      in.unsupported(H, "BankField", c, fs, w)
2617    case 136n:
2618      in.unsupported(H, "DataTableRegion", c, fs, w)
2619    case 31n:
2620      in.unsupported(H, "LoadTable", c, fs, w)
2621    case 32n:
2622      in.unsupported(H, "Load", c, fs, w)
2623    case 42n:
2624      in.unsupported(H, "Unload", c, fs, w)
2625    case 40n:
2626      in.unsupported(H, "FromBCD", c, fs, w)
2627    case 41n:
2628      in.unsupported(H, "ToBCD", c, fs, w)
2629    case _:
2630      in.expr(~H, ~io, Nat.add(256n, x), U32.add(23296, e), in.kinds(Nat.add(256n, x)), exec, c, fs, w)