Searched refs:vnext (Results 1 – 2 of 2) sorted by relevance
2144 if ( vprev != vnext || vprev->runstate.state != vnext->new_state ) in sched_switch_units()2150 vcpu_runstate_change(vnext, vnext->new_state, now); in sched_switch_units()2153 vnext->is_running = true; in sched_switch_units()2155 if ( is_idle_vcpu(vnext) ) in sched_switch_units()2223 if ( vprev != vnext ) in vcpu_context_saved()2304 if ( unlikely(vprev == vnext) ) in sched_context_switch()2307 vnext->domain->domain_id, vnext->sched_unit->unit_id, in sched_context_switch()2319 vnext->sched_unit = in sched_context_switch()2333 vcpu_move_irqs(vnext); in sched_context_switch()2335 vcpu_periodic_timer_work(vnext); in sched_context_switch()[all …]
733 void sched_context_switched(struct vcpu *prev, struct vcpu *vnext);
Completed in 11 milliseconds