Searched refs:update_vcpu_system_time (Results 1 – 6 of 6) sorted by relevance
66 extern void update_vcpu_system_time(struct vcpu *v);
333 void update_vcpu_system_time(struct vcpu *v) in update_vcpu_system_time() function
312 update_vcpu_system_time(current); in schedule_tail()
1136 void update_vcpu_system_time(struct vcpu *v) in update_vcpu_system_time() function1191 update_vcpu_system_time(current); in cpu_frequency_change()1240 update_vcpu_system_time(current); in local_time_calibration()1338 update_vcpu_system_time(current); in local_time_calibration()1926 update_vcpu_system_time(current); in time_resume()
1746 update_vcpu_system_time(next); in context_switch()
74 update_vcpu_system_time(v); in hvm_set_guest_time()
Completed in 13 milliseconds