Searched refs:tsc_hz (Results 1 – 1 of 1) sorted by relevance
54 uint64_t tsc_hz, lpj; in vmware_get_tsc_khz() local59 tsc_hz = eax | (((uint64_t)ebx) << 32); in vmware_get_tsc_khz()60 do_div(tsc_hz, 1000); in vmware_get_tsc_khz()61 BUG_ON(tsc_hz >> 32); in vmware_get_tsc_khz()63 (unsigned long) tsc_hz / 1000, in vmware_get_tsc_khz()64 (unsigned long) tsc_hz % 1000); in vmware_get_tsc_khz()67 lpj = ((u64)tsc_hz * 1000); in vmware_get_tsc_khz()72 return tsc_hz; in vmware_get_tsc_khz()