vgic_register_redist_iodev  239 virt/kvm/arm/vgic/vgic-init.c 		ret = vgic_register_redist_iodev(vcpu);
vgic_register_redist_iodev  667 virt/kvm/arm/vgic/vgic-mmio-v3.c 		ret = vgic_register_redist_iodev(vcpu);
vgic_register_redist_iodev  223 virt/kvm/arm/vgic/vgic.h int vgic_register_redist_iodev(struct kvm_vcpu *vcpu);