Searched refs:update_secondary_system_time (Results 1 – 3 of 3) sorted by relevance
259 update_secondary_system_time(v, in toggle_guest_pt()
603 bool update_secondary_system_time(struct vcpu *,
1100 if ( !update_secondary_system_time(v, &_u) && is_pv_domain(d) && in __update_vcpu_system_time()1105 bool update_secondary_system_time(struct vcpu *v, in update_secondary_system_time() function
Completed in 10 milliseconds