Searched refs:kvm_vgic_init_cpu_hardware (Results 1 – 3 of 3) sorted by relevance
369 void kvm_vgic_init_cpu_hardware(void);
500 void kvm_vgic_init_cpu_hardware(void) in kvm_vgic_init_cpu_hardware() function
1598 kvm_vgic_init_cpu_hardware(); in cpu_hyp_reinit()
