rdtsc_lfence
*tc = rdtsc_lfence();
return rdtsc_lfence();
u_int64_t (*tsc_rdtsc)(void) = rdtsc_lfence;
delta = rdtsc_lfence();