Searched defs:callerSlot (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/src/fastpath/
H A Dfastpath.c311 cte_t *callerSlot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCaller); local
/seL4-camkes-master/kernel/src/api/
H A Dsyscall.c475 cte_t *callerSlot; local
492 doReplyTransfer(NODE_STATE(ksCurThread), caller, callerSlot, local
/seL4-camkes-master/kernel/src/object/
H A Dtcb.c353 cte_t *replySlot, *callerSlot; local
369 replySlot, callerSlot); local
374 cte_t *callerSlot; local

Completed in 140 milliseconds