Searched refs:tsc_to_system_mul (Results 1 – 4 of 4) sorted by relevance
114 dst->tsc_to_system_mul = src->tsc_to_system_mul; in dtrace_xpv_getsystime()136 ((uint64_t)(tsc_delta * (uint64_t)dst->tsc_to_system_mul) >> 32); in dtrace_xpv_getsystime()
643 CPU->cpu_m.mcpu_vcpu_info->time.tsc_to_system_mul >> NSEC_SHIFT; in xpv_panic_time_init()
422 uint32_t tsc_to_system_mul; member
1240 cpu_hz = (UINT64_C(1000000000) << 32) / vti->tsc_to_system_mul; in mach_getcpufreq()1251 vti->tsc_to_system_mul, vti->tsc_shift, cpu_hz); in mach_getcpufreq()