561 	return mul_u64_u64_shr(tsc, hv->tsc_ref.tsc_scale, 64)  in get_time_ref_counter()
562 		+ hv->tsc_ref.tsc_offset;  in get_time_ref_counter()
1078 					struct ms_hyperv_tsc_page *tsc_ref)  in compute_tsc_page_parameters()  argument
1099 	tsc_ref->tsc_scale =  in compute_tsc_page_parameters()
1104 	tsc_ref->tsc_offset = hv_clock->system_time;  in compute_tsc_page_parameters()
1105 	do_div(tsc_ref->tsc_offset, 100);  in compute_tsc_page_parameters()
1106 	tsc_ref->tsc_offset -=  in compute_tsc_page_parameters()
1107 		mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64);  in compute_tsc_page_parameters()
1133 	BUILD_BUG_ON(sizeof(tsc_seq) != sizeof(hv->tsc_ref.tsc_sequence));  in kvm_hv_setup_tsc_page()
1156 		if (kvm_read_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref)))  in kvm_hv_setup_tsc_page()
1167 	hv->tsc_ref.tsc_sequence = 0;  in kvm_hv_setup_tsc_page()
1169 			    &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)))  in kvm_hv_setup_tsc_page()
1172 	if (!compute_tsc_page_parameters(hv_clock, &hv->tsc_ref))  in kvm_hv_setup_tsc_page()
1177 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref)))  in kvm_hv_setup_tsc_page()
1190 	hv->tsc_ref.tsc_sequence = tsc_seq;  in kvm_hv_setup_tsc_page()
1192 			    &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)))  in kvm_hv_setup_tsc_page()