Searched refs:pending_system_time (Results 1 – 3 of 3) sorted by relevance
439 if ( v->arch.pv.pending_system_time.version && in _toggle_guest_pt()440 update_secondary_system_time(v, &v->arch.pv.pending_system_time) ) in _toggle_guest_pt()441 v->arch.pv.pending_system_time.version = 0; in _toggle_guest_pt()
559 struct vcpu_time_info pending_system_time; member
1313 v->arch.pv.pending_system_time = _u; in __update_vcpu_system_time()
Completed in 13 milliseconds