43 static struct pvclock_vsyscall_time_info *hv_clock;  variable
64 	vcpu_time = &hv_clock[cpu].pvti;  in kvm_get_wallclock()
83 	src = &hv_clock[cpu].pvti;  in kvm_clock_read()
110 	src = &hv_clock[cpu].pvti;  in kvm_get_tsc_khz()
134 	if (!hv_clock)  in kvm_check_and_clear_guest_paused()
137 	src = &hv_clock[cpu].pvti;  in kvm_check_and_clear_guest_paused()
161 	if (!hv_clock)  in kvm_register_clock()
164 	src = &hv_clock[cpu].pvti;  in kvm_register_clock()
240 	hv_clock = __va(mem);  in kvmclock_init()
241 	memset(hv_clock, 0, size);  in kvmclock_init()
244 		hv_clock = NULL;  in kvmclock_init()
279 	if (!hv_clock)  in kvm_setup_vsyscall_timeinfo()
286 	vcpu_time = &hv_clock[cpu].pvti;  in kvm_setup_vsyscall_timeinfo()
294 	if ((ret = pvclock_init_vsyscall(hv_clock, size))) {  in kvm_setup_vsyscall_timeinfo()