Searched refs:kvm_vgic_init_cpu_hardware (Results 1 – 3 of 3) sorted by relevance
400 void kvm_vgic_init_cpu_hardware(void);
667 void kvm_vgic_init_cpu_hardware(void) in kvm_vgic_init_cpu_hardware() function
2149 kvm_vgic_init_cpu_hardware(); in cpu_hyp_init_features()