x86/kvm/hyperv.c

578 	if (hv->hv_tsc_page_status != HV_TSC_PAGE_SET)
1154 	return (hv->hv_tsc_page_status != HV_TSC_PAGE_GUEST_CHANGED) &&
1170 	if (hv->hv_tsc_page_status == HV_TSC_PAGE_BROKEN ||
1171 	    hv->hv_tsc_page_status == HV_TSC_PAGE_SET ||
1172 	    hv->hv_tsc_page_status == HV_TSC_PAGE_UNSET)
1191 		hv->hv_tsc_page_status = HV_TSC_PAGE_SET;
1227 	hv->hv_tsc_page_status = HV_TSC_PAGE_SET;
1231 	hv->hv_tsc_page_status = HV_TSC_PAGE_BROKEN;
1242 	if (hv->hv_tsc_page_status == HV_TSC_PAGE_SET &&
1244 		hv->hv_tsc_page_status = HV_TSC_PAGE_HOST_CHANGED;
1436 				hv->hv_tsc_page_status = HV_TSC_PAGE_GUEST_CHANGED;
1438 				hv->hv_tsc_page_status = HV_TSC_PAGE_HOST_CHANGED;
1441 			hv->hv_tsc_page_status = HV_TSC_PAGE_UNSET;