MSR_HV_TIME_REF_COUNT
u_int now = rdmsr(MSR_HV_TIME_REF_COUNT);
start = rdmsr(MSR_HV_TIME_REF_COUNT);
while (rdmsr(MSR_HV_TIME_REF_COUNT) - start < interval)