Searched refs:tsc_to_system_mul (Results 1 – 3 of 3) sorted by relevance
542 do_div(freq, info->tsc_to_system_mul); in xen_timer_cpu_frequency()567 .mul_frac = info->tsc_to_system_mul, in read_cycle()1053 _u.tsc_to_system_mul = d->arch.vtsc_to_ns.mul_frac; in __update_vcpu_system_time()1061 _u.tsc_to_system_mul = d->arch.vtsc_to_ns.mul_frac; in __update_vcpu_system_time()1067 _u.tsc_to_system_mul = t->tsc_scale.mul_frac; in __update_vcpu_system_time()
641 uint32_t tsc_to_system_mul; member
818 tsc_to_nsec_mul = info->tsc_to_system_mul; in get_cpu_mhz()
Completed in 11 milliseconds