def in.store.arg

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

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

872def in.store.arg(~H: Data, ~io: H -> Hs.AmlHostOp -> Result<&2, &2, E.AcpiError, Hs.AmlHostAns<H>>, cur: V.AmlValue, +i: Nat, +w: AmlWorld<H>, +v: V.AmlValue) -> Result<&2, &2, E.AcpiError, AmlWorld<H>>:
873  match cur:
874    case V.AmlRef{l2}:
875      in.store.base(~H, ~io, l2, w, v)
876    case _:
877      Done{in.set.arg(H, w, i, v)}