Searched refs:kvm_vgic_init_cpu_hardware (Results 1 – 3 of 3) sorted by relevance
349 void kvm_vgic_init_cpu_hardware(void);
488 void kvm_vgic_init_cpu_hardware(void) in kvm_vgic_init_cpu_hardware() function
1539 kvm_vgic_init_cpu_hardware(); in cpu_hyp_reinit()