ep_ptr_get_queue (reference) in projects: seL4-master

Searched refs:ep_ptr_get_queue (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/object/
A D	endpoint.c	`56 queue = ep_ptr_get_queue(epptr); in sendIPC() 68 queue = ep_ptr_get_queue(epptr); in sendIPC() 192 queue = ep_ptr_get_queue(epptr); in receiveIPC() 211 queue = ep_ptr_get_queue(epptr); in receiveIPC() 334 queue = ep_ptr_get_queue(epptr); in cancelIPC() 440 tcb_queue_t queue = ep_ptr_get_queue(epptr); in cancelBadgedSends() 504 tcb_queue_t queue = ep_ptr_get_queue(epptr); in reorderEP()`
/seL4-master/include/object/
A D	endpoint.h	`12 static inline tcb_queue_t PURE ep_ptr_get_queue(endpoint_t *epptr) in ep_ptr_get_queue() function`
/seL4-master/src/fastpath/
A D	fastpath.c	`435 tcb_queue_t queue = tcbEPAppend(NODE_STATE(ksCurThread), ep_ptr_get_queue(ep_ptr)); in fastpath_reply_recv()`

Completed in 6 milliseconds