Searched refs:kvm_vgic_cpu_down (Results 1 – 3 of 3) sorted by relevance
438 void kvm_vgic_cpu_down(void);
513 void kvm_vgic_cpu_down(void) in kvm_vgic_cpu_down() function
1905 kvm_vgic_cpu_down(); in kvm_arch_hardware_disable()