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

/seL4-l4v-10.1.1/seL4/include/benchmark/
H A Dbenchmark_track.h60 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr);
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dcspace.h52 lookupCapAndSlot_ret_t lookupCapAndSlot(tcb_t *thread, cptr_t cPtr);
/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c90 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr);
102 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr);
278 lu_ret = lookupCapAndSlot(thread, cptr);
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c38 lookupCapAndSlot(tcb_t *thread, cptr_t cPtr) function
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dvspace.c691 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr);
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c2999 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr);

Completed in 92 milliseconds