platform/pc/timer.cpp

293         uint32_t best_time[2] = {UINT32_MAX, UINT32_MAX};
327                 if (apic_ticks < best_time[trial]) {
328                     best_time[trial] = apic_ticks;
347             if (best_time[trial] == UINT32_MAX) {
352         apic_ticks_per_ms = (best_time[1] - best_time[0]) / (duration_ms[1] - duration_ms[0]);
363     uint64_t best_time = UINT64_MAX;
399         if (tsc_ticks < best_time) {
400             best_time = tsc_ticks;
416     return best_time;
431         uint64_t best_time[2] = {
435         while (best_time[0] >= best_time[1] && 2 * duration_ms[1] < MAX_TIMER_INTERVAL) {
438             best_time[0] = best_time[1];
439             best_time[1] = calibrate_tsc_count(static_cast<uint16_t>(duration_ms[1]));
442         ASSERT(best_time[0] < best_time[1]);
444         tsc_ticks_per_ms = (best_time[1] - best_time[0]) / (duration_ms[1] - duration_ms[0]);