tsc_gethrtime_delta
if (gethrtimef == tsc_gethrtime_delta) {
if (gethrtimef == tsc_gethrtime_delta)
if (gethrtimef == tsc_gethrtime_delta)
gethrtimef = tsc_gethrtime_delta;
if (gethrtimef == tsc_gethrtime_delta)
gethrtimef = tsc_gethrtime_delta;