tsc_gethrtimeunscaled
hrt = tsc_gethrtimeunscaled() + tsc_sync_tick_delta[CPU->cpu_id];
gethrtimeunscaledf = tsc_gethrtimeunscaled;
extern hrtime_t tsc_gethrtimeunscaled(void);
VERIFY(*gethrtimeunscaledf == tsc_gethrtimeunscaled ||