def res.irqs

bend-osdev-acpi@0.1.1.0 · aml_resource.bend:66

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/fields.bend as F

66def res.irqs(n: Nat, +d: B.Octets, +i: Nat) -> List<&2, U32>:
67  match n:
68    case 0n:
69      Nil{}
70    case 1n+p:
71      Con{F.AcpiF.u32(d, i), res.irqs(p, d, Nat.add(i, 4n))}