Searched refs:hpet_ms_rate (Results 1 - 1 of 1) sorted by relevance

/fuchsia/zircon/kernel/platform/pc/
H A Dtimer.cpp486 const uint64_t hpet_ms_rate = hpet_ticks_per_ms(); local
487 ASSERT(hpet_ms_rate <= UINT32_MAX);
488 printf("HPET frequency: %" PRIu64 " ticks/ms\n", hpet_ms_rate);
489 fp_32_64_div_32_32(&ns_per_hpet, 1000 * 1000, static_cast<uint32_t>(hpet_ms_rate));

Completed in 19 milliseconds