Searched refs:use_timer_freq (Results 1 – 1 of 1) sorted by relevance
8624 u64 use_timer_freq = 5000ULL * 1000 * 1000; in vmx_hardware_setup() local8630 use_timer_freq = (u64)tsc_khz * 1000; in vmx_hardware_setup()8631 use_timer_freq >>= cpu_preemption_timer_multi; in vmx_hardware_setup()8638 if (use_timer_freq > 0xffffffffu / 10) in vmx_hardware_setup()