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

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dpvclock.cpp18 void calculate_scale_factor(uint64_t tsc_freq, uint32_t* mul, int8_t* shift) { argument
25 DEBUG_ASSERT(tsc_freq != 0);
27 // We maintain the folowing invariant: 2^(exponent - 32) * x/y ~ target_freq / tsc_freq,
30 uint64_t y = tsc_freq;
/fuchsia/zircon/kernel/platform/pc/
H A Dtimer.cpp422 const uint64_t tsc_freq = has_pvclock ? pvclock_get_tsc_freq() : x86_lookup_tsc_freq(); local
423 if (tsc_freq != 0) {
424 tsc_ticks_per_ms = tsc_freq / 1000;

Completed in 78 milliseconds