79 	struct pvclock_vcpu_time_info *src;  in kvm_clock_read()  local
85 	src = &hv_clock[cpu].pvti;  in kvm_clock_read()
86 	ret = pvclock_clocksource_read(src);  in kvm_clock_read()
130 	struct pvclock_vcpu_time_info *src;  in kvm_get_tsc_khz()  local
135 	src = &hv_clock[cpu].pvti;  in kvm_get_tsc_khz()
136 	tsc_khz = pvclock_tsc_khz(src);  in kvm_get_tsc_khz()
156 	struct pvclock_vcpu_time_info *src;  in kvm_check_and_clear_guest_paused()  local
162 	src = &hv_clock[cpu].pvti;  in kvm_check_and_clear_guest_paused()
163 	if ((src->flags & PVCLOCK_GUEST_STOPPED) != 0) {  in kvm_check_and_clear_guest_paused()
164 		src->flags &= ~PVCLOCK_GUEST_STOPPED;  in kvm_check_and_clear_guest_paused()
184 	struct pvclock_vcpu_time_info *src;  in kvm_register_clock()  local
189 	src = &hv_clock[cpu].pvti;  in kvm_register_clock()
190 	low = (int)slow_virt_to_phys(src) | 1;  in kvm_register_clock()
191 	high = ((u64)slow_virt_to_phys(src) >> 32);  in kvm_register_clock()