do_tsc_calibration
value = do_tsc_calibration(200*1000, apic_delay_tsc);
freq = do_tsc_calibration(i*100*1000,