Searched refs:kvm_vgic_cpu_up (Results 1 – 3 of 3) sorted by relevance
437 void kvm_vgic_cpu_up(void);
507 void kvm_vgic_cpu_up(void) in kvm_vgic_cpu_up() function
1894 kvm_vgic_cpu_up(); in kvm_arch_hardware_enable()