Lines Matching refs:prev
1383 struct vcpu *prev = current, *next = NULL; in schedule() local
1434 if ( unlikely(prev == next) ) in schedule()
1439 now - prev->runstate.state_entry_time, in schedule()
1442 return continue_running(prev); in schedule()
1446 prev->domain->domain_id, prev->vcpu_id, in schedule()
1447 now - prev->runstate.state_entry_time); in schedule()
1454 ASSERT(prev->runstate.state == RUNSTATE_running); in schedule()
1457 prev->domain->domain_id, prev->vcpu_id, in schedule()
1461 prev, in schedule()
1462 ((prev->pause_flags & VPF_blocked) ? RUNSTATE_blocked : in schedule()
1463 (vcpu_runnable(prev) ? RUNSTATE_runnable : RUNSTATE_offline)), in schedule()
1465 prev->last_run_time = now; in schedule()
1482 stop_timer(&prev->periodic_timer); in schedule()
1489 context_switch(prev, next); in schedule()
1492 void context_saved(struct vcpu *prev) in context_saved() argument
1497 prev->is_running = 0; in context_saved()
1502 SCHED_OP(vcpu_scheduler(prev), context_saved, prev); in context_saved()
1504 if ( unlikely(prev->pause_flags & VPF_migrating) ) in context_saved()
1505 vcpu_migrate(prev); in context_saved()