Lines Matching refs:caller
128 /* Ensure the original caller is in the current domain and can be scheduled directly. */
167 /* Get dest caller slot */
197 tcb_t *caller;
250 /* Determine who the caller is. */
251 caller = TCB_PTR(cap_reply_cap_get_capTCBPtr(callerCap));
253 /* ensure we are not single stepping the caller in ia32 */
255 if (caller->tcbArch.tcbContext.breakpointState.single_step_enabled) {
260 /* Check that the caller has not faulted, in which case a fault
262 fault_type = seL4_Fault_get_seL4_FaultType(caller->tcbFault);
268 newVTable = TCB_PTR_CTE_PTR(caller, tcbVTable)->cap;
295 /* Ensure the original caller can be scheduled directly. */
297 if (unlikely(!isHighestPrio(dom, caller->tcbPriority))) {
308 /* Ensure the original caller is in the current domain and can be scheduled directly. */
309 if (unlikely(caller->tcbDomain != ksCurDomain && maxDom)) {
315 if (unlikely(NODE_STATE(ksCurThread)->tcbAffinity != caller->tcbAffinity)) {
367 fastpath_copy_mrs (length, NODE_STATE(ksCurThread), caller);
370 thread_state_ptr_set_tsType_np(&caller->tcbState,
372 switchToThread_fp(caller, cap_pd, stored_hw_asid);