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

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

Completed in 75 milliseconds