Lines Matching defs:guest_hv_clock
3105 struct pvclock_vcpu_time_info *guest_hv_clock;
3109 while (!kvm_gpc_check(gpc, offset + sizeof(*guest_hv_clock))) {
3112 if (kvm_gpc_refresh(gpc, offset + sizeof(*guest_hv_clock)))
3118 guest_hv_clock = (void *)(gpc->khva + offset);
3127 guest_hv_clock->version = vcpu->hv_clock.version = (guest_hv_clock->version + 1) | 1;
3131 vcpu->hv_clock.flags |= (guest_hv_clock->flags & PVCLOCK_GUEST_STOPPED);
3138 memcpy(guest_hv_clock, &vcpu->hv_clock, sizeof(*guest_hv_clock));
3141 guest_hv_clock->version = ++vcpu->hv_clock.version;