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

/seL4-master/src/object/
A D	endpoint.c	34 case EPState_Idle: in sendIPC() 79 endpoint_ptr_set_state(epptr, EPState_Idle); in sendIPC() 170 case EPState_Idle: in receiveIPC() 222 endpoint_ptr_set_state(epptr, EPState_Idle); in receiveIPC() 331 assert(endpoint_ptr_get_state(epptr) != EPState_Idle); in cancelIPC() 339 endpoint_ptr_set_state(epptr, EPState_Idle); in cancelIPC() 384 case EPState_Idle: in cancelAllIPC() 391 endpoint_ptr_set_state(epptr, EPState_Idle); in cancelAllIPC() 434 case EPState_Idle: in cancelBadgedSends() 445 endpoint_ptr_set_state(epptr, EPState_Idle); in cancelBadgedSends()
/seL4-master/include/object/
A D	structures.h	42 EPState_Idle = 0, enumerator
/seL4-master/src/fastpath/
A D	fastpath.c	169 endpoint_ptr_mset_epQueue_tail_state(ep_ptr, 0, EPState_Idle); in fastpath_call()

Completed in 5 milliseconds

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