def in.dev.op

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

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

2291# Device, Processor, PowerResource, ThermalZone (chapter 19): an object whose term list runs in its own scope;
2292# Processor's ID and block and PowerResource's level and order are skipped
2293def in.dev.op(-H: Data, +kind: U32, +extra: Nat, r: Result<&2, &2, E.AcpiError, AmlPkgC>, fs: List<&2, AmlFrame>, +w: AmlWorld<H>) -> AmlMachine<H>:
2294  match r:
2295    case Fail{e}:
2296      AmlMachine{AmlMFail{e}, in.no.cur(), fs, w}
2297    case Done{AmlPkgC{body, after}}:
2298      in.dev.k(H, kind, extra, cur.name(body), after, fs, w)