vfio_set_trigger 232 drivers/vfio/platform/vfio_platform_irq.c return vfio_set_trigger(vdev, index, -1, handler); vfio_set_trigger 240 drivers/vfio/platform/vfio_platform_irq.c return vfio_set_trigger(vdev, index, fd, handler); vfio_set_trigger 325 drivers/vfio/platform/vfio_platform_irq.c vfio_set_trigger(vdev, i, -1, NULL);