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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dgicv3.c22 #define EXTENDED_SPI_INTERRUPTS 2 macro
119 if (irq_type == SPI_INTERRUPTS || irq_type == EXTENDED_SPI_INTERRUPTS) {

Completed in 21 milliseconds