Lines Matching refs:TCB_PTR_CTE_PTR
357 replySlot = TCB_PTR_CTE_PTR(sender, tcbReply); in setupCallerCap()
364 callerSlot = TCB_PTR_CTE_PTR(receiver, tcbCaller); in setupCallerCap()
376 callerSlot = TCB_PTR_CTE_PTR(receiver, tcbCaller); in deleteCallerCap()
1084 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbCTable)) || in decodeTCBConfigure()
1086 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbVTable))) { in decodeTCBConfigure()
1479 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbCTable)) || in decodeSetSpace()
1481 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbVTable))) { in decodeSetSpace()
1674 cte_t *rootSlot = TCB_PTR_CTE_PTR(target, index); in installTCBCap()
1732 bufferSlot = TCB_PTR_CTE_PTR(target, tcbBuffer); in invokeTCB_ThreadControlCaps()
1774 rootSlot = TCB_PTR_CTE_PTR(target, tcbCTable); in invokeTCB_ThreadControl()
1788 rootSlot = TCB_PTR_CTE_PTR(target, tcbVTable); in invokeTCB_ThreadControl()
1802 bufferSlot = TCB_PTR_CTE_PTR(target, tcbBuffer); in invokeTCB_ThreadControl()