Lines Matching refs:tcbState
141 reply_t *reply = thread_state_get_replyObject_np(dest->tcbState); in fastpath_call()
175 thread_state_ptr_set_tsType_np(&NODE_STATE(ksCurThread)->tcbState, in fastpath_call()
178 thread_state_ptr_set_replyObject_np(&dest->tcbState, 0); in fastpath_call()
179 thread_state_ptr_set_replyObject_np(&NODE_STATE(ksCurThread)->tcbState, REPLY_REF(reply)); in fastpath_call()
202 word_t replyCanGrant = thread_state_ptr_get_blockingIPCCanGrant(&dest->tcbState);; in fastpath_call()
213 thread_state_ptr_set_tsType_np(&dest->tcbState, in fastpath_call()
395 assert(thread_state_get_replyObject(NODE_STATE(ksCurThread)->tcbState) == 0); in fastpath_reply_recv()
410 &NODE_STATE(ksCurThread)->tcbState, (word_t)ep_ptr, ThreadState_BlockedOnReceive); in fastpath_reply_recv()
413 thread_state_ptr_set_replyObject_np(&caller->tcbState, 0); in fastpath_reply_recv()
415 thread_state_ptr_set_replyObject_np(&NODE_STATE(ksCurThread)->tcbState, REPLY_REF(reply_ptr)); in fastpath_reply_recv()
418 thread_state_ptr_set_blockingIPCCanGrant(&NODE_STATE(ksCurThread)->tcbState, in fastpath_reply_recv()
483 thread_state_ptr_set_tsType_np(&caller->tcbState, in fastpath_reply_recv()