Searched refs:ccr_2nd (Results 1 – 1 of 1) sorted by relevance
65 uint32_t ccr_1st, ccr_2nd; in sys_clock_cycle_get_64() local78 ccr_2nd = x86_read_loapic(LOAPIC_TIMER_CCR); in sys_clock_cycle_get_64()79 } while (ccr_2nd > ccr_1st); in sys_clock_cycle_get_64()81 return cycles + (CYCLES_PER_TICK - ccr_2nd); in sys_clock_cycle_get_64()