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

/seL4-l4v-10.1.1/seL4/include/smp/
H A Dlock.h146 #define NODE_LOCK_IF(_cond, _irqPath) do { \ macro
161 #define NODE_LOCK_IF(_cond, _irq) do {} while (0) macro
167 #define NODE_LOCK_SYS_IF(_cond) NODE_LOCK_IF(_cond, false)
168 #define NODE_LOCK_IRQ_IF(_cond) NODE_LOCK_IF(_cond, true)
/seL4-l4v-10.1.1/seL4/src/arch/x86/
H A Dc_traps.c46 NODE_LOCK_IF(irq != int_remote_call_ipi,

Completed in 37 milliseconds