Searched refs:cPtr (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dcspace.h51 lookupCap_ret_t lookupCap(tcb_t *thread, cptr_t cPtr);
52 lookupCapAndSlot_ret_t lookupCapAndSlot(tcb_t *thread, cptr_t cPtr);
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c20 lookupCap(tcb_t *thread, cptr_t cPtr) argument
25 lu_ret = lookupSlot(thread, cPtr);
38 lookupCapAndSlot(tcb_t *thread, cptr_t cPtr) argument
43 lu_ret = lookupSlot(thread, cPtr);

Completed in 39 milliseconds