Searched refs:kvm_timer_cpu_down (Results 1 – 3 of 3) sorted by relevance
148 void kvm_timer_cpu_down(void);
1041 void kvm_timer_cpu_down(void) in kvm_timer_cpu_down() function
1894 kvm_timer_cpu_down(); in kvm_arch_hardware_disable()