def res.irqs.enc
import bend-osdev-acpi@0.1.1.0/aml_resource.bend as AmlResourceimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
280def res.irqs.enc(xs: List<&2, U32>) -> B.Octets:
281 match xs:
282 case Nil{}:
283 B.Octets.empty()
284 case Con{x, t}:
285 B.Octets.append(B.Octets.le32(x), res.irqs.enc(t))