Lines Matching refs:tptr
296 void cancelIPC(tcb_t *tptr)
298 thread_state_t *state = &tptr->tcbState;
302 seL4_Fault_NullFault_ptr_new(&tptr->tcbFault);
319 queue = tcbEPDequeue(tptr, queue);
327 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(tptr->tcbState));
329 reply_unlink(reply, tptr);
332 setThreadState(tptr, ThreadState_Inactive);
337 cancelSignal(tptr,
343 reply_remove_tcb(tptr);
347 tptr->tcbFault = seL4_Fault_NullFault_new();
350 slot = TCB_PTR_CTE_PTR(tptr, tcbReply);