Searched refs:tsc_hz (Results 1 – 2 of 2) sorted by relevance
57 uint64_t tsc_hz, lpj; in vmware_get_tsc_khz() local62 tsc_hz = eax | (((uint64_t)ebx) << 32); in vmware_get_tsc_khz()63 do_div(tsc_hz, 1000); in vmware_get_tsc_khz()64 BUG_ON(tsc_hz >> 32); in vmware_get_tsc_khz()66 (unsigned long) tsc_hz / 1000, in vmware_get_tsc_khz()67 (unsigned long) tsc_hz % 1000); in vmware_get_tsc_khz()70 lpj = ((u64)tsc_hz * 1000); in vmware_get_tsc_khz()75 return tsc_hz; in vmware_get_tsc_khz()
98 unsigned long long tsc_hz; variable1167 tsc_tweak = base_hz / tsc_hz; in calculate_tsc_tweak()2769 tsc_hz = (unsigned long long) crystal_hz * ebx_tsc / eax_crystal; in process_cpuid()2772 tsc_hz / 1000000, crystal_hz, ebx_tsc, eax_crystal); in process_cpuid()