Symbol: vgic_v4_init
arch/arm64/kvm/vgic/vgic-init.c
413
ret = vgic_v4_init(kvm);
arch/arm64/kvm/vgic/vgic-its.c
1856
ret = vgic_v4_init(dev->kvm);
arch/arm64/kvm/vgic/vgic.h
437
int vgic_v4_init(struct kvm *kvm);