Searched refs:kvm_vgic_init_cpu_hardware (Results 1 – 3 of 3) sorted by relevance
342 void kvm_vgic_init_cpu_hardware(void);
475 void kvm_vgic_init_cpu_hardware(void) in kvm_vgic_init_cpu_hardware() function
1357 kvm_vgic_init_cpu_hardware(); in cpu_hyp_reinit()
