do_calibrate_cputimer
freq = do_calibrate_cputimer(i * 100 * 1000,
tsc_frequency = do_calibrate_cputimer(cnt, cputime_latency_tsc);