Searched defs:MCS_DO_IF_SC (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/src/object/ | ||
H A D | notification.c | 64 #define MCS_DO_IF_SC(tcb, ntfnPtr, _block) \ macro 70 #define MCS_DO_IF_SC(tcb, ntfnPtr, _block) \ macro |
Completed in 24 milliseconds