HV_TSC_PAGE_BROKEN
if (hv->hv_tsc_page_status == HV_TSC_PAGE_BROKEN ||
hv->hv_tsc_page_status = HV_TSC_PAGE_BROKEN;