max_irq_type     1855 drivers/vfio/vfio.c 				       int max_irq_type, size_t *data_size)
max_irq_type     1862 drivers/vfio/vfio.c 	if ((hdr->argsz < minsz) || (hdr->index >= max_irq_type) ||
max_irq_type      149 include/linux/vfio.h 					      int num_irqs, int max_irq_type,