Searched defs:IRQ_IS_PPI (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/include/arch/arm/arch/machine/ | ||
H A D | gic_common.h | 43 #define IRQ_IS_PPI(_irq) (HW_IRQ_IS_PPI(_irq.irq)) macro 57 #define IRQ_IS_PPI(irq) HW_IRQ_IS_PPI(irq) macro |
Completed in 41 milliseconds