src/object/tcb.c

444     /* only ipi if the target is for the current domain */
448         /* reschedule if the target core is idle or we are waking a higher priority thread (or
463  * We also request the 'irq_reschedule_ipi' to restore the state of target core */
1671 static inline exception_t installTCBCap(tcb_t *target, cap_t tCap, cte_t *slot,
1674     cte_t *rootSlot = TCB_PTR_CTE_PTR(target, index);
1690 exception_t invokeTCB_ThreadControlCaps(tcb_t *target, cte_t *slot,
1700     cap_t tCap = cap_thread_cap_new((word_t)target);
1703         e = installTCBCap(target, tCap, slot, tcbFaultHandler, fh_newCap, fh_srcSlot);
1711         e = installTCBCap(target, tCap, slot, tcbTimeoutHandler, th_newCap, th_srcSlot);
1718         e = installTCBCap(target, tCap, slot, tcbCTable, cRoot_newCap, cRoot_srcSlot);
1723         e = installTCBCap(target, tCap, slot, tcbVTable, vRoot_newCap, vRoot_srcSlot);
1732         bufferSlot = TCB_PTR_CTE_PTR(target, tcbBuffer);
1737         target->tcbIPCBuffer = bufferAddr;
1744         if (target == NODE_STATE(ksCurThread)) {
1752 exception_t invokeTCB_ThreadControl(tcb_t *target, cte_t *slot,
1761     cap_t tCap = cap_thread_cap_new((word_t)target);
1764         target->tcbFaultHandler = faultep;
1768         setMCPriority(target, mcp);
1774         rootSlot = TCB_PTR_CTE_PTR(target, tcbCTable);
1788         rootSlot = TCB_PTR_CTE_PTR(target, tcbVTable);
1802         bufferSlot = TCB_PTR_CTE_PTR(target, tcbBuffer);
1807         target->tcbIPCBuffer = bufferAddr;
1814         if (target == NODE_STATE(ksCurThread)) {
1820         setPriority(target, priority);
1828 exception_t invokeTCB_ThreadControlSched(tcb_t *target, cte_t *slot,
1835         cap_t tCap = cap_thread_cap_new((word_t)target);
1836         exception_t e = installTCBCap(target, tCap, slot, tcbFaultHandler, fh_newCap, fh_srcSlot);
1843         setMCPriority(target, mcp);
1847         setPriority(target, priority);
1851         if (sc != NULL && sc != target->tcbSchedContext) {
1852             schedContext_bindTCB(sc, target);
1853         } else if (sc == NULL && target->tcbSchedContext != NULL) {
1854             schedContext_unbindTCB(target->tcbSchedContext, target);