kvm_register_vgic_device  404 virt/kvm/arm/vgic/vgic-v2.c 	ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V2);
kvm_register_vgic_device  612 virt/kvm/arm/vgic/vgic-v3.c 		ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V2);
kvm_register_vgic_device  619 virt/kvm/arm/vgic/vgic-v3.c 	ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V3);
kvm_register_vgic_device  246 virt/kvm/arm/vgic/vgic.h int kvm_register_vgic_device(unsigned long type);