Symbol: vfio_platform_set_irqs_ioctl
drivers/vfio/platform/vfio_platform_common.c
366
ret = vfio_platform_set_irqs_ioctl(vdev, hdr.flags, hdr.index,
drivers/vfio/platform/vfio_platform_private.h
103
int vfio_platform_set_irqs_ioctl(struct vfio_platform_device *vdev,