VFIO_CCW_NUM_IRQS  314 drivers/s390/cio/vfio_ccw_ops.c 	info->num_irqs = VFIO_CCW_NUM_IRQS;
VFIO_CCW_NUM_IRQS  538 drivers/s390/cio/vfio_ccw_ops.c 		if (info.argsz < minsz || info.index >= VFIO_CCW_NUM_IRQS)
VFIO_CCW_NUM_IRQS  562 drivers/s390/cio/vfio_ccw_ops.c 							 VFIO_CCW_NUM_IRQS,