vgic_v3_setup
gic_fd = vgic_v3_setup(vm, 2, 64);
gic_fd = vgic_v3_setup(vm, 1, nr_irqs);
int vgic_v3_setup(struct kvm_vm *vm, unsigned int nr_vcpus, uint32_t nr_irqs);