Home
last modified time | relevance | path

Searched refs:callerCap (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/api/
A Dsyscall.c471 cap_t callerCap; in handleReply() local
474 callerCap = callerSlot->cap; in handleReply()
476 switch (cap_get_capType(callerCap)) { in handleReply()
480 if (cap_reply_cap_get_capReplyMaster(callerCap)) { in handleReply()
483 caller = TCB_PTR(cap_reply_cap_get_capTCBPtr(callerCap)); in handleReply()
488 cap_reply_cap_get_capReplyCanGrant(callerCap)); in handleReply()
/seL4-master/src/object/
A Dendpoint.c361 cte_t *slot, *callerCap; in cancelIPC()
368 callerCap = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode)); in cancelIPC()
369 if (callerCap) { in cancelIPC()
372 cteDeleteOne(callerCap); in cancelIPC()
A Dtcb.c354 cap_t masterCap UNUSED, callerCap UNUSED; in setupCallerCap()
365 callerCap = callerSlot->cap; in setupCallerCap()
367 assert(cap_get_capType(callerCap) == cap_null_cap); in setupCallerCap()
/seL4-master/src/fastpath/
A Dfastpath.c308 cap_t callerCap = callerSlot->cap; in fastpath_reply_recv() local
309 if (unlikely(!fastpath_reply_cap_check(callerCap))) { in fastpath_reply_recv()
314 caller = TCB_PTR(cap_reply_cap_get_capTCBPtr(callerCap)); in fastpath_reply_recv()

Completed in 14 milliseconds