def devs
bend-osdev-acpi@0.1.1.0 · check.bend:222
import bend-osdev-acpi@0.1.1.0/check.bend as Check
import Base
import bend-osdev-acpi@0.1.1.0/aml_host.bend as Hs
import bend-osdev-acpi@0.1.1.0/aml.bend as Am
import bend-osdev-acpi@0.1.1.0/aml_device.bend as Dv
222def devs(+s: Am.AmlSystem<Hs.AmlMemHost>, ps: List<&2, String>) -> List<&2, String>:
223 match ps:
224 case Nil{}:
225 Nil{}
226 case Con{+p, t}:
227 Con{p ++ " " ++ hid(Dv.AmlDevice.hid(~Hs.AmlMemHost, ~Hs.AmlMemHost.io, s, p, 1000n)) ++ " " ++ sta(Dv.AmlDevice.status(~Hs.AmlMemHost, ~Hs.AmlMemHost.io, s, p, 1000n)), devs(s, t)}