Searched refs:tsc_to_system_mul (Results 1 – 3 of 3) sorted by relevance
577 do_div(freq, info->tsc_to_system_mul); in xen_timer_cpu_frequency()600 .mul_frac = info->tsc_to_system_mul, in read_cycle()1264 _u.tsc_to_system_mul = d->arch.vtsc_to_ns.mul_frac; in __update_vcpu_system_time()1272 _u.tsc_to_system_mul = d->arch.vtsc_to_ns.mul_frac; in __update_vcpu_system_time()1278 _u.tsc_to_system_mul = t->tsc_scale.mul_frac; in __update_vcpu_system_time()
681 uint32_t tsc_to_system_mul; member
818 tsc_to_nsec_mul = info->tsc_to_system_mul; in get_cpu_mhz()
Completed in 24 milliseconds