Home
last modified time | relevance | path

Searched refs:lookup_fp (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/fastpath/
A Dfastpath.c49 ep_cap = lookup_fp(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCTable)->cap, cptr); in fastpath_call()
259 ep_cap = lookup_fp(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCTable)->cap, in fastpath_reply_recv()
270 cap_t reply_cap = lookup_fp(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCTable)->cap, reply); in fastpath_reply_recv()
/seL4-master/include/fastpath/
A Dfastpath.h10 static inline cap_t FORCE_INLINE lookup_fp(cap_t cap, cptr_t cptr) in lookup_fp() function

Completed in 4 milliseconds