Lines Matching refs:slot
406 current_extra_caps.excaprefs[i] = lu_ret.slot; in lookupExtraCaps()
779 cte_t *slot, bool_t call, word_t *buffer) in decodeTCBInvocation() argument
807 return decodeTCBConfigure(cap, length, slot, buffer); in decodeTCBInvocation()
817 return decodeSetSchedParams(cap, length, slot, buffer); in decodeTCBInvocation()
823 return decodeSetIPCBuffer(cap, length, slot, buffer); in decodeTCBInvocation()
826 return decodeSetSpace(cap, length, slot, buffer); in decodeTCBInvocation()
836 return decodeSetTimeoutEndpoint(cap, slot); in decodeTCBInvocation()
1031 exception_t decodeTCBConfigure(cap_t cap, word_t length, cte_t *slot, word_t *buffer) in decodeTCBConfigure() argument
1127 TCB_PTR(cap_thread_cap_get_capTCBPtr(cap)), slot, in decodeTCBConfigure()
1137 TCB_PTR(cap_thread_cap_get_capTCBPtr(cap)), slot, in decodeTCBConfigure()
1236 exception_t decodeSetTimeoutEndpoint(cap_t cap, cte_t *slot) in decodeSetTimeoutEndpoint() argument
1255 TCB_PTR(cap_thread_cap_get_capTCBPtr(cap)), slot, in decodeSetTimeoutEndpoint()
1266 exception_t decodeSetSchedParams(cap_t cap, word_t length, cte_t *slot, word_t *buffer) in decodeSetSchedParams() argument
1358 TCB_PTR(cap_thread_cap_get_capTCBPtr(cap)), slot, in decodeSetSchedParams()
1379 exception_t decodeSetIPCBuffer(cap_t cap, word_t length, cte_t *slot, word_t *buffer) in decodeSetIPCBuffer() argument
1415 TCB_PTR(cap_thread_cap_get_capTCBPtr(cap)), slot, in decodeSetIPCBuffer()
1424 TCB_PTR(cap_thread_cap_get_capTCBPtr(cap)), slot, in decodeSetIPCBuffer()
1439 exception_t decodeSetSpace(cap_t cap, word_t length, cte_t *slot, word_t *buffer) in decodeSetSpace() argument
1531 TCB_PTR(cap_thread_cap_get_capTCBPtr(cap)), slot, in decodeSetSpace()
1539 TCB_PTR(cap_thread_cap_get_capTCBPtr(cap)), slot, in decodeSetSpace()
1671 static inline exception_t installTCBCap(tcb_t *target, cap_t tCap, cte_t *slot, in installTCBCap() argument
1682 sameObjectAs(tCap, slot->cap)) { in installTCBCap()
1690 exception_t invokeTCB_ThreadControlCaps(tcb_t *target, cte_t *slot, in invokeTCB_ThreadControlCaps() argument
1703 e = installTCBCap(target, tCap, slot, tcbFaultHandler, fh_newCap, fh_srcSlot); in invokeTCB_ThreadControlCaps()
1711 e = installTCBCap(target, tCap, slot, tcbTimeoutHandler, th_newCap, th_srcSlot); in invokeTCB_ThreadControlCaps()
1718 e = installTCBCap(target, tCap, slot, tcbCTable, cRoot_newCap, cRoot_srcSlot); in invokeTCB_ThreadControlCaps()
1723 e = installTCBCap(target, tCap, slot, tcbVTable, vRoot_newCap, vRoot_srcSlot); in invokeTCB_ThreadControlCaps()
1740 sameObjectAs(tCap, slot->cap)) { in invokeTCB_ThreadControlCaps()
1752 exception_t invokeTCB_ThreadControl(tcb_t *target, cte_t *slot, in invokeTCB_ThreadControl() argument
1780 sameObjectAs(tCap, slot->cap)) { in invokeTCB_ThreadControl()
1794 sameObjectAs(tCap, slot->cap)) { in invokeTCB_ThreadControl()
1810 sameObjectAs(tCap, slot->cap)) { in invokeTCB_ThreadControl()
1828 exception_t invokeTCB_ThreadControlSched(tcb_t *target, cte_t *slot, in invokeTCB_ThreadControlSched() argument
1836 exception_t e = installTCBCap(target, tCap, slot, tcbFaultHandler, fh_newCap, fh_srcSlot); in invokeTCB_ThreadControlSched()