Searched refs:EXTENDED_PPI_INTERRUPTS (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dgicv3.c23 #define EXTENDED_PPI_INTERRUPTS 3 macro
122 } else if (irq_type == PPI_INTERRUPTS || irq_type == EXTENDED_PPI_INTERRUPTS) {

Completed in 77 milliseconds