def in.put.index

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

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

810# an element of a package, buffer or string at a location replaced
811# (Store to Index(...)); the location must be a Name, a Local or an Arg
812def in.put.index(~H: Data, ~io: H -> Hs.AmlHostOp -> Result<&2, &2, E.AcpiError, Hs.AmlHostAns<H>>, +base: V.AmlLoc, +i: Nat, +w: AmlWorld<H>, +v: V.AmlValue) -> Result<&2, &2, E.AcpiError, AmlWorld<H>>:
813  in.put.idx(H, in.read_loc(~H, ~io, base, w), base, i, v)