__vgic_v3_setup
int __vgic_v3_setup(struct kvm_vm *vm, unsigned int nr_vcpus, uint32_t nr_irqs);
vm->arch.gic_fd = __vgic_v3_setup(vm, nr_vcpus, 64);
fd = __vgic_v3_setup(vm, nr_vcpus, nr_irqs);