rdtsc_ordered
tsc = rdtsc_ordered();
delta_tsc = rdtsc_ordered() - save_tsc;
save_tsc = rdtsc_ordered();
old_tsc1 = rdtsc_ordered();
old_tsc2 = rdtsc_ordered();
new_tsc1 = rdtsc_ordered();
new_tsc2 = rdtsc_ordered();
old_tsc = rdtsc_ordered();
new_tsc = rdtsc_ordered();
test_begin = rdtsc_ordered();
arg->tsc_target = rdtsc_ordered();
info->tsc_saved[cpu].v = rdtsc_ordered();
tsc1 = rdtsc_ordered();
tsc2 = rdtsc_ordered();
old_tsc = rdtsc_ordered();
old_tsc = rdtsc_ordered();
new_tsc = rdtsc_ordered();