406 	if (!hv->tsc_ref.tsc_sequence)  in get_time_ref_counter()
411 	return mul_u64_u64_shr(tsc, hv->tsc_ref.tsc_scale, 64)  in get_time_ref_counter()
412 		+ hv->tsc_ref.tsc_offset;  in get_time_ref_counter()
899 					HV_REFERENCE_TSC_PAGE *tsc_ref)  in compute_tsc_page_parameters()  argument
920 	tsc_ref->tsc_scale =  in compute_tsc_page_parameters()
925 	tsc_ref->tsc_offset = hv_clock->system_time;  in compute_tsc_page_parameters()
926 	do_div(tsc_ref->tsc_offset, 100);  in compute_tsc_page_parameters()
927 	tsc_ref->tsc_offset -=  in compute_tsc_page_parameters()
928 		mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64);  in compute_tsc_page_parameters()
939 	BUILD_BUG_ON(sizeof(tsc_seq) != sizeof(hv->tsc_ref.tsc_sequence));  in kvm_hv_setup_tsc_page()
962 	hv->tsc_ref.tsc_sequence = 0;  in kvm_hv_setup_tsc_page()
964 			    &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)))  in kvm_hv_setup_tsc_page()
967 	if (!compute_tsc_page_parameters(hv_clock, &hv->tsc_ref))  in kvm_hv_setup_tsc_page()
972 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref)))  in kvm_hv_setup_tsc_page()
985 	hv->tsc_ref.tsc_sequence = tsc_seq;  in kvm_hv_setup_tsc_page()
987 			&hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence));  in kvm_hv_setup_tsc_page()