vfio_platform_irq_cleanup
vfio_platform_irq_cleanup(vdev);
void vfio_platform_irq_cleanup(struct vfio_platform_device *vdev);