397 	if (!hv->tsc_ref.tsc_sequence)  in get_time_ref_counter()
402 	return mul_u64_u64_shr(tsc, hv->tsc_ref.tsc_scale, 64)  in get_time_ref_counter()
403 		+ hv->tsc_ref.tsc_offset;  in get_time_ref_counter()
809 					HV_REFERENCE_TSC_PAGE *tsc_ref)  in compute_tsc_page_parameters()  argument
830 	tsc_ref->tsc_scale =  in compute_tsc_page_parameters()
835 	tsc_ref->tsc_offset = hv_clock->system_time;  in compute_tsc_page_parameters()
836 	do_div(tsc_ref->tsc_offset, 100);  in compute_tsc_page_parameters()
837 	tsc_ref->tsc_offset -=  in compute_tsc_page_parameters()
838 		mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64);  in compute_tsc_page_parameters()
849 	BUILD_BUG_ON(sizeof(tsc_seq) != sizeof(hv->tsc_ref.tsc_sequence));  in kvm_hv_setup_tsc_page()
868 	hv->tsc_ref.tsc_sequence = 0;  in kvm_hv_setup_tsc_page()
870 			    &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)))  in kvm_hv_setup_tsc_page()
873 	if (!compute_tsc_page_parameters(hv_clock, &hv->tsc_ref))  in kvm_hv_setup_tsc_page()
878 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref)))  in kvm_hv_setup_tsc_page()
891 	hv->tsc_ref.tsc_sequence = tsc_seq;  in kvm_hv_setup_tsc_page()
893 			&hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence));  in kvm_hv_setup_tsc_page()