Lines Matching defs:target
361 /* only ipi if the target is for the current domain */
365 /* reschedule if the target core is idle or we are waking a higher priority thread */
375 * We also request the 'irq_reschedule_ipi' to restore the state of target core */
1393 invokeTCB_ThreadControl(tcb_t *target, cte_t* slot,
1402 cap_t tCap = cap_thread_cap_new((word_t)target);
1405 target->tcbFaultHandler = faultep;
1409 setMCPriority(target, mcp);
1413 setPriority(target, priority);
1419 rootSlot = TCB_PTR_CTE_PTR(target, tcbCTable);
1433 rootSlot = TCB_PTR_CTE_PTR(target, tcbVTable);
1447 bufferSlot = TCB_PTR_CTE_PTR(target, tcbBuffer);
1452 target->tcbIPCBuffer = bufferAddr;
1454 Arch_setTCBIPCBuffer(target, bufferAddr);
1461 if (target == NODE_STATE(ksCurThread)) {