Searched refs:use_timer_freq (Results 1 – 1 of 1) sorted by relevance
8531 u64 use_timer_freq = 5000ULL * 1000 * 1000; in vmx_hardware_setup() local8537 use_timer_freq = (u64)tsc_khz * 1000; in vmx_hardware_setup()8538 use_timer_freq >>= cpu_preemption_timer_multi; in vmx_hardware_setup()8545 if (use_timer_freq > 0xffffffffu / 10) in vmx_hardware_setup()