Lines Matching defs:counter
249 * Read main counter twice to record HPET latency for debugging.
264 * HPET main counter reads are supported now.
526 uint32_t *counter;
529 counter = (uint32_t *)HPET_MAIN_COUNTER_ADDRESS(hip->logical_address);
535 value = (uint64_t)*counter;
544 high2 = counter[1];
547 low = counter[0];
548 high2 = counter[1];
706 * Return 0 if main counter is less than timer after enabling timer.
708 * Return !0 if main counter is greater than timer after enabling timer.
768 * Timer registers (including the main counter) may not be preserved through
856 cmn_err(CE_NOTE, "!hpet_resume: start main counter failed");