Searched refs:ThreadState_BlockedOnReceive (Results 1 – 8 of 8) sorted by relevance

/seL4-master/include/kernel/
A D	thread.h	86 case ThreadState_BlockedOnReceive: in isBlocked() 101 case ThreadState_BlockedOnReceive: in isStopped()
/seL4-master/include/api/
A D	debug.h	92 case ThreadState_BlockedOnReceive: in debug_printTCB()
/seL4-master/src/object/
A D	endpoint.c	177 ThreadState_BlockedOnReceive); in receiveIPC() 323 case ThreadState_BlockedOnReceive: { in cancelIPC()
A D	notification.c	75 if (thread_state_ptr_get_tsType(&tcb->tcbState) == ThreadState_BlockedOnReceive) { in sendSignal()
A D	objecttype.c	144 case ThreadState_BlockedOnReceive: in finaliseCap()
/seL4-master/include/object/
A D	structures.h	167 ThreadState_BlockedOnReceive, enumerator
/seL4-master/src/fastpath/
A D	fastpath.c	410 &NODE_STATE(ksCurThread)->tcbState, (word_t)ep_ptr, ThreadState_BlockedOnReceive); in fastpath_reply_recv()
/seL4-master/src/kernel/
A D	thread.c	498 case ThreadState_BlockedOnReceive: in setPriority()

Completed in 11 milliseconds

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