~/jendhub

def AmlDevice.get

bend-osdev-acpi@0.1.1.0 · aml_device.bend:43

import bend-osdev-acpi@0.1.1.0/aml_device.bend as AmlDevice
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_ns.bend as S
import bend-osdev-acpi@0.1.1.0/aml_host.bend as Hs
import bend-osdev-acpi@0.1.1.0/aml.bend as A

43# an object of a device evaluated (a method run with no arguments), in at
44# most n steps; None if the device has no such object
45def AmlDevice.get(~H: Data, ~io: H -> Hs.AmlHostOp -> Result<&2, &2, E.AcpiError, Hs.AmlHostAns<H>>, +s: A.AmlSystem<H>, +dev: String, +seg: String, +n: Nat) -> Maybe<&2, Result<&2, &2, E.AcpiError, V.AmlValue>>:
46  +p = S.AmlPath.child(dev, seg)
47  dv.get.pick(~H, ~io, S.AmlNs.has(A.AmlSystem.ns(H, s), p), s, p, n)

Uses (13)

Used by (4)