Searched refs:lookupSlot (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dcspace.h53 lookupSlot_raw_ret_t lookupSlot(tcb_t *thread, cptr_t capptr);
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c25 lu_ret = lookupSlot(thread, cPtr);
43 lu_ret = lookupSlot(thread, cPtr);
58 lookupSlot(tcb_t *thread, cptr_t capptr) function
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c315 lu_ret = lookupSlot(thread, cptr);

Completed in 38 milliseconds