Lines Matching refs:caller
236 tcb_t *caller; in fastpath_reply_recv() local
304 caller = reply_ptr->replyTCB; in fastpath_reply_recv()
314 caller = TCB_PTR(cap_reply_cap_get_capTCBPtr(callerCap)); in fastpath_reply_recv()
319 if (unlikely(caller->tcbArch.tcbContext.breakpointState.single_step_enabled)) { in fastpath_reply_recv()
326 fault_type = seL4_Fault_get_seL4_FaultType(caller->tcbFault); in fastpath_reply_recv()
332 newVTable = TCB_PTR_CTE_PTR(caller, tcbVTable)->cap; in fastpath_reply_recv()
364 if (unlikely(!isHighestPrio(dom, caller->tcbPriority))) { in fastpath_reply_recv()
376 if (unlikely(caller->tcbDomain != ksCurDomain && 0 < maxDom)) { in fastpath_reply_recv()
381 if (unlikely(caller->tcbSchedContext != NULL)) { in fastpath_reply_recv()
388 if (unlikely(NODE_STATE(ksCurThread)->tcbAffinity != caller->tcbAffinity)) { in fastpath_reply_recv()
413 thread_state_ptr_set_replyObject_np(&caller->tcbState, 0); in fastpath_reply_recv()
455 caller->tcbSchedContext = sc; in fastpath_reply_recv()
456 sc->scTcb = caller; in fastpath_reply_recv()
480 fastpath_copy_mrs(length, NODE_STATE(ksCurThread), caller); in fastpath_reply_recv()
483 thread_state_ptr_set_tsType_np(&caller->tcbState, in fastpath_reply_recv()
485 switchToThread_fp(caller, cap_pd, stored_hw_asid); in fastpath_reply_recv()