Home
last modified time | relevance | path

Searched defs:ep_ptr (Results 1 – 7 of 7) sorted by relevance

/seL4-master/include/fastpath/
A Dfastpath.h82 static inline void endpoint_ptr_mset_epQueue_tail_state(endpoint_t *ep_ptr, word_t epQueue_tail, in endpoint_ptr_mset_epQueue_tail_state()
88 static inline void endpoint_ptr_set_epQueue_head_np(endpoint_t *ep_ptr, word_t epQueue_head) in endpoint_ptr_set_epQueue_head_np()
/seL4-master/src/fastpath/
A Dfastpath.c26 endpoint_t *ep_ptr; in fastpath_call() local
234 endpoint_t *ep_ptr; in fastpath_reply_recv() local
/seL4-master/include/arch/x86/arch/32/mode/fastpath/
A Dfastpath.h19 static inline tcb_t *endpoint_ptr_get_epQueue_tail_fp(endpoint_t *ep_ptr) in endpoint_ptr_get_epQueue_tail_fp()
/seL4-master/include/arch/arm/arch/64/mode/fastpath/
A Dfastpath.h27 #define endpoint_ptr_get_epQueue_tail_fp(ep_ptr) TCB_PTR(endpoint_ptr_get_epQueue_tail(ep_ptr)) argument
/seL4-master/include/arch/riscv/arch/fastpath/
A Dfastpath.h36 #define endpoint_ptr_get_epQueue_tail_fp(ep_ptr) TCB_PTR(endpoint_ptr_get_epQueue_tail(ep_ptr)) argument
/seL4-master/include/arch/arm/arch/32/mode/fastpath/
A Dfastpath.h26 #define endpoint_ptr_get_epQueue_tail_fp(ep_ptr) TCB_PTR(endpoint_ptr_get_epQueue_tail(ep_ptr)) argument
/seL4-master/include/arch/x86/arch/64/mode/fastpath/
A Dfastpath.h21 static inline tcb_t *endpoint_ptr_get_epQueue_tail_fp(endpoint_t *ep_ptr) in endpoint_ptr_get_epQueue_tail_fp()

Completed in 8 milliseconds