def Aml.load_mem

bend-osdev-acpi@0.1.1.0 · aml.bend:210

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/aml_host.bend as Hs

210def Aml.load_mem(s: AmlSystem<Hs.AmlMemHost>, aml: B.Octets, n: Nat) -> AmlOutcome<Hs.AmlMemHost>:
211  Aml.load(~Hs.AmlMemHost, ~Hs.AmlMemHost.io, s, aml, n)