Symbol: hv_reference_tsc_msr