Symbol: HV_TSC_PAGE_HOST_CHANGED