KVM_DEV_ARM_VGIC_GRP_NR_IRQS
case KVM_DEV_ARM_VGIC_GRP_NR_IRQS: {
case KVM_DEV_ARM_VGIC_GRP_NR_IRQS: {
case KVM_DEV_ARM_VGIC_GRP_NR_IRQS:
case KVM_DEV_ARM_VGIC_GRP_NR_IRQS:
kvm_device_attr_set(gic_fd, KVM_DEV_ARM_VGIC_GRP_NR_IRQS, 0, &nr_irqs);