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

/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dgic_common.h20 #define IRQ_NONE 1023u macro
H A Dgic_v2.h204 active_irq[CURRENT_CPU_INDEX()] = IRQ_NONE;
H A Dgic_v3.h287 active_irq[CURRENT_CPU_INDEX()] = IRQ_NONE;
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c37 word_t active_irq[CONFIG_MAX_NUM_NODES] = {IRQ_NONE};
143 while ((i & IRQ_MASK) != IRQ_NONE) {
H A Dgic_v3.c37 word_t active_irq[CONFIG_MAX_NUM_NODES] = {IRQ_NONE};

Completed in 80 milliseconds