def in.pkg.k

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

import Base
import bend-osdev-acpi@0.1.1.0/aml_value.bend as V

2852def in.pkg.k(-H: Data, end: Bool, +n: Nat, +got: List<&2, V.AmlValue>, c: AmlCur, after: AmlCur, rest: List<&2, AmlFrame>, +w: AmlWorld<H>) -> AmlMachine<H>:
2853  match end:
2854    case True{}:
2855      AmlMachine{AmlMGive{V.AmlPkg{in.pad(n, List.reverse(&2, V.AmlValue, got))}}, after, rest, w}
2856    case False{}:
2857      AmlMachine{AmlMEval{AmlKElem{}}, c, Con{AmlFPkg{n, got, after}, rest}, w}