583 	return mul_u64_u64_shr(tsc, hv->tsc_ref.tsc_scale, 64)  in get_time_ref_counter()
584 		+ hv->tsc_ref.tsc_offset;  in get_time_ref_counter()
1110 					struct ms_hyperv_tsc_page *tsc_ref)  in compute_tsc_page_parameters()  argument
1131 	tsc_ref->tsc_scale =  in compute_tsc_page_parameters()
1136 	tsc_ref->tsc_offset = hv_clock->system_time;  in compute_tsc_page_parameters()
1137 	do_div(tsc_ref->tsc_offset, 100);  in compute_tsc_page_parameters()
1138 	tsc_ref->tsc_offset -=  in compute_tsc_page_parameters()
1139 		mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64);  in compute_tsc_page_parameters()
1165 	BUILD_BUG_ON(sizeof(tsc_seq) != sizeof(hv->tsc_ref.tsc_sequence));  in kvm_hv_setup_tsc_page()
1188 		if (kvm_read_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref)))  in kvm_hv_setup_tsc_page()
1199 	hv->tsc_ref.tsc_sequence = 0;  in kvm_hv_setup_tsc_page()
1201 			    &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)))  in kvm_hv_setup_tsc_page()
1204 	if (!compute_tsc_page_parameters(hv_clock, &hv->tsc_ref))  in kvm_hv_setup_tsc_page()
1209 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref)))  in kvm_hv_setup_tsc_page()
1222 	hv->tsc_ref.tsc_sequence = tsc_seq;  in kvm_hv_setup_tsc_page()
1224 			    &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)))  in kvm_hv_setup_tsc_page()