def dv.devs
import bend-osdev-acpi@0.1.1.0/aml_device.bend as AmlDeviceimport Base
import bend-osdev-acpi@0.1.1.0/aml_ns.bend as S
168def dv.devs(ps: List<&2, String>, +ns: S.AmlNs) -> List<&2, String>:
169 match ps:
170 case Nil{}:
171 Nil{}
172 case Con{+p, t}:
173 dv.devs.pick(U32.is_eq(dv.kind(S.AmlNs.get(ns, p)), 6), p, dv.devs(t, ns))