Searched refs:use_timer_freq (Results 1 – 1 of 1) sorted by relevance
8455 u64 use_timer_freq = 5000ULL * 1000 * 1000; in vmx_hardware_setup() local8461 use_timer_freq = (u64)tsc_khz * 1000; in vmx_hardware_setup()8462 use_timer_freq >>= cpu_preemption_timer_multi; in vmx_hardware_setup()8469 if (use_timer_freq > 0xffffffffu / 10) in vmx_hardware_setup()