kvm_vgic_init_cpu_hardware  342 include/kvm/arm_vgic.h void kvm_vgic_init_cpu_hardware(void);
kvm_vgic_init_cpu_hardware 1377 virt/kvm/arm/arm.c 		kvm_vgic_init_cpu_hardware();