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

/seL4-master/src/object/
A D	endpoint.c	35 case EPState_Send: in sendIPC() 58 endpoint_ptr_set_state(epptr, EPState_Send); in sendIPC() 202 case EPState_Send: { in receiveIPC() 438 case EPState_Send: { in cancelBadgedSends() 488 endpoint_ptr_set_state(epptr, EPState_Send); in cancelBadgedSends()
/seL4-master/include/object/
A D	structures.h	43 EPState_Send = 1, enumerator
/seL4-master/src/fastpath/
A D	fastpath.c	288 if (unlikely(endpoint_ptr_get_state(ep_ptr) == EPState_Send)) { in fastpath_reply_recv()

Completed in 7 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023