MSR_HV_TIME_REF_COUNT
val = rdmsr(MSR_HV_TIME_REF_COUNT);
return (rdmsr(MSR_HV_TIME_REF_COUNT));
return (rdmsr(MSR_HV_TIME_REF_COUNT)); \