Searched refs:kvm_vgic_init_cpu_hardware (Results 1 – 3 of 3) sorted by relevance
351 void kvm_vgic_init_cpu_hardware(void);
466 void kvm_vgic_init_cpu_hardware(void) in kvm_vgic_init_cpu_hardware() function
1324 kvm_vgic_init_cpu_hardware(); in cpu_hyp_reinit()
