Home
last modified time | relevance | path

Searched defs:_block (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/api/
A Dsyscall.h20 #define MCS_DO_IF_BUDGET(_block) \ argument
26 #define MCS_DO_IF_BUDGET(_block) \ argument
/seL4-master/src/object/
A Dnotification.c56 #define MCS_DO_IF_SC(tcb, ntfnPtr, _block) \ argument
62 #define MCS_DO_IF_SC(tcb, ntfnPtr, _block) \ argument

Completed in 5 milliseconds