525 	if (!hv->tsc_ref.tsc_sequence)  in get_time_ref_counter()
530 	return mul_u64_u64_shr(tsc, hv->tsc_ref.tsc_scale, 64)  in get_time_ref_counter()
531 		+ hv->tsc_ref.tsc_offset;  in get_time_ref_counter()
1035 					struct ms_hyperv_tsc_page *tsc_ref)  in compute_tsc_page_parameters()  argument
1056 	tsc_ref->tsc_scale =  in compute_tsc_page_parameters()
1061 	tsc_ref->tsc_offset = hv_clock->system_time;  in compute_tsc_page_parameters()
1062 	do_div(tsc_ref->tsc_offset, 100);  in compute_tsc_page_parameters()
1063 	tsc_ref->tsc_offset -=  in compute_tsc_page_parameters()
1064 		mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64);  in compute_tsc_page_parameters()
1075 	BUILD_BUG_ON(sizeof(tsc_seq) != sizeof(hv->tsc_ref.tsc_sequence));  in kvm_hv_setup_tsc_page()
1098 	hv->tsc_ref.tsc_sequence = 0;  in kvm_hv_setup_tsc_page()
1100 			    &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)))  in kvm_hv_setup_tsc_page()
1103 	if (!compute_tsc_page_parameters(hv_clock, &hv->tsc_ref))  in kvm_hv_setup_tsc_page()
1108 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref)))  in kvm_hv_setup_tsc_page()
1121 	hv->tsc_ref.tsc_sequence = tsc_seq;  in kvm_hv_setup_tsc_page()
1123 			&hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence));  in kvm_hv_setup_tsc_page()