Searched refs:lookupCap (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/benchmark/
H A Dbenchmark_utilisation.c29 lu_ret = lookupCap(NODE_STATE(ksCurThread), tcb_cptr);
62 lu_ret = lookupCap(NODE_STATE(ksCurThread), tcb_cptr);
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dcspace.h51 lookupCap_ret_t lookupCap(tcb_t *thread, cptr_t cPtr);
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dfaulthandler.c41 lu_ret = lookupCap(tptr, handlerCPtr);
H A Dcspace.c20 lookupCap(tcb_t *thread, cptr_t cPtr) function
/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c378 lu_ret = lookupCap(NODE_STATE(ksCurThread), epCPtr);
381 /* current_lookup_fault has been set by lookupCap */
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c926 luc_ret = lookupCap(thread, cptr);

Completed in 111 milliseconds