Lines Matching defs:target
82 suspend(tcb_t *target)
84 cancelIPC(target);
85 setThreadState(target, ThreadState_Inactive);
86 tcbSchedDequeue(target);
90 restart(tcb_t *target)
92 if (isBlocked(target)) {
93 cancelIPC(target);
94 setupReplyMaster(target);
95 setThreadState(target, ThreadState_Restart);
96 SCHED_ENQUEUE(target);
97 possibleSwitchTo(target);
406 possibleSwitchTo(tcb_t* target)
408 if (ksCurDomain != target->tcbDomain
409 SMP_COND_STATEMENT( || target->tcbAffinity != getCurrentCPUIndex())) {
410 SCHED_ENQUEUE(target);
414 SCHED_ENQUEUE(target);
416 NODE_STATE(ksSchedulerAction) = target;