vfio_platform_set_irqs_ioctl  390 drivers/vfio/platform/vfio_platform_common.c 		ret = vfio_platform_set_irqs_ioctl(vdev, hdr.flags, hdr.index,
vfio_platform_set_irqs_ioctl   89 drivers/vfio/platform/vfio_platform_private.h extern int vfio_platform_set_irqs_ioctl(struct vfio_platform_device *vdev,