VFIO_CCW_NUM_IRQS
info->num_irqs = VFIO_CCW_NUM_IRQS;
if (info.argsz < minsz || info.index >= VFIO_CCW_NUM_IRQS)
VFIO_CCW_NUM_IRQS,