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

/seL4-l4v-10.1.1/seL4/include/smp/
H A Dlock.h168 #define NODE_LOCK_IRQ_IF(_cond) NODE_LOCK_IF(_cond, true) macro
/seL4-l4v-10.1.1/seL4/src/arch/arm/
H A Dc_traps.c100 NODE_LOCK_IRQ_IF(getActiveIRQ() != irq_remote_call_ipi);
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dvcpu.c1176 NODE_LOCK_IRQ_IF(interrupt != int_remote_call_ipi);

Completed in 89 milliseconds