Symbol: HV_MSR_REFERENCE_TSC_AVAILABLE