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