Searched full:irq_id (Results 1 – 2 of 2) sorted by relevance
79 processor (irq_id). This is an index number in the listed interrupts
890 field: | vcpu2_index | irq_type | vcpu_index | irq_id |895 out-of-kernel GIC: irq_id 0 is IRQ, irq_id 1 is FIQ897 in-kernel GIC: SPI, irq_id between 32 and 1019 (incl.)900 in-kernel GIC: PPI, irq_id between 16 and 31 (incl.)902 (The irq_id field thus corresponds nicely to the IRQ ID in the ARM GIC specs)