Constant HV_X64_MSR_TSC_REFERENCE_ENABLE 

pub const HV_X64_MSR_TSC_REFERENCE_ENABLE: u32 = 0x1;