Symbol: HV_EXPOSE_INVARIANT_TSC