Symbol: tsc_gethrtime_delta