platform/pc/timer.cpp

294         const uint16_t duration_ms[2] = {2, 4};
302                     pit_calibration_cycle_preamble(duration_ms[trial]);
317                     hpet_calibration_cycle(duration_ms[trial]);
320                     pit_calibration_cycle(duration_ms[trial]);
352         apic_ticks_per_ms = (best_time[1] - best_time[0]) / (duration_ms[1] - duration_ms[0]);
362 static uint64_t calibrate_tsc_count(uint16_t duration_ms) {
371             pit_calibration_cycle_preamble(duration_ms);
385             hpet_calibration_cycle(duration_ms);
388             pit_calibration_cycle(duration_ms);
430         uint32_t duration_ms[2] = {2, 4};
432             calibrate_tsc_count(static_cast<uint16_t>(duration_ms[0])),
433             calibrate_tsc_count(static_cast<uint16_t>(duration_ms[1]))};
435         while (best_time[0] >= best_time[1] && 2 * duration_ms[1] < MAX_TIMER_INTERVAL) {
436             duration_ms[0] = duration_ms[1];
437             duration_ms[1] *= 2;
439             best_time[1] = calibrate_tsc_count(static_cast<uint16_t>(duration_ms[1]));
444         tsc_ticks_per_ms = (best_time[1] - best_time[0]) / (duration_ms[1] - duration_ms[0]);