Lines Matching refs:tptr
312 void cancelIPC(tcb_t *tptr) in cancelIPC() argument
314 thread_state_t *state = &tptr->tcbState; in cancelIPC()
318 seL4_Fault_NullFault_ptr_new(&tptr->tcbFault); in cancelIPC()
335 queue = tcbEPDequeue(tptr, queue); in cancelIPC()
343 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(tptr->tcbState)); in cancelIPC()
345 reply_unlink(reply, tptr); in cancelIPC()
348 setThreadState(tptr, ThreadState_Inactive); in cancelIPC()
353 cancelSignal(tptr, in cancelIPC()
359 reply_remove_tcb(tptr); in cancelIPC()
363 tptr->tcbFault = seL4_Fault_NullFault_new(); in cancelIPC()
366 slot = TCB_PTR_CTE_PTR(tptr, tcbReply); in cancelIPC()