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

/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dgic_common.h36 * IRQ_IS_PPI returns true if hw_irq < 32 which is a property of the GIC.
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
H A Dgic_v2.h187 assert(!(IRQ_IS_PPI(irq)) || (IRQT_TO_CORE(irq) == getCurrentCPUIndex()));
H A Dgic_v3.h266 assert(!(IRQ_IS_PPI(irq)) || (IRQT_TO_CORE(irq) == getCurrentCPUIndex()));
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dinterrupt.c51 if (IRQ_IS_PPI(irq)) {
128 if (!IRQ_IS_PPI(irq)) {
/seL4-camkes-master/kernel/src/object/
H A Dinterrupt.c142 if (IRQ_IS_PPI(irq) && IRQT_TO_CORE(irq) != getCurrentCPUIndex()) {
266 if (IRQ_IS_PPI(irq) && IRQT_TO_CORE(irq) != getCurrentCPUIndex()) {
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c214 if (IRQ_IS_PPI(irq)) {
H A Dgic_v3.c378 if (IRQ_IS_PPI(irq)) {

Completed in 37 milliseconds