vgic_v3_set_redist_base   87 virt/kvm/arm/vgic/vgic-kvm-device.c 			r = vgic_v3_set_redist_base(kvm, 0, *addr, 0);
vgic_v3_set_redist_base  119 virt/kvm/arm/vgic/vgic-kvm-device.c 				r = vgic_v3_set_redist_base(kvm, index,
vgic_v3_set_redist_base  222 virt/kvm/arm/vgic/vgic.h int vgic_v3_set_redist_base(struct kvm *kvm, u32 index, u64 addr, u32 count);