819 		if (info.argsz < minsz)  in vfio_pci_ioctl()
822 		if (info.argsz >= capsz) {  in vfio_pci_ioctl()
846 			if (info.argsz < sizeof(info) + caps.size) {  in vfio_pci_ioctl()
847 				info.argsz = sizeof(info) + caps.size;  in vfio_pci_ioctl()
876 		if (info.argsz < minsz)  in vfio_pci_ioctl()
990 			if (info.argsz < sizeof(info) + caps.size) {  in vfio_pci_ioctl()
991 				info.argsz = sizeof(info) + caps.size;  in vfio_pci_ioctl()
1018 		if (info.argsz < minsz || info.index >= VFIO_PCI_NUM_IRQS)  in vfio_pci_ioctl()
1105 		if (hdr.argsz < minsz)  in vfio_pci_ioctl()
1129 		if (hdr.argsz < sizeof(hdr) + (fill.max * sizeof(*devices))) {  in vfio_pci_ioctl()
1180 		if (hdr.argsz < minsz || hdr.flags)  in vfio_pci_ioctl()
1330 		if (ioeventfd.argsz < minsz)  in vfio_pci_ioctl()
1352 		if (feature.argsz < minsz)  in vfio_pci_ioctl()
1387 			if (feature.argsz < minsz + sizeof(uuid))  in vfio_pci_ioctl()