KVM_DEV_ARM_VGIC_GRP_MAINT_IRQ
case KVM_DEV_ARM_VGIC_GRP_MAINT_IRQ: {
case KVM_DEV_ARM_VGIC_GRP_MAINT_IRQ: