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);