vfio_platform_irq_cleanup  239 drivers/vfio/platform/vfio_platform_common.c 		vfio_platform_irq_cleanup(vdev);
vfio_platform_irq_cleanup  288 drivers/vfio/platform/vfio_platform_common.c 	vfio_platform_irq_cleanup(vdev);
vfio_platform_irq_cleanup   87 drivers/vfio/platform/vfio_platform_private.h extern void vfio_platform_irq_cleanup(struct vfio_platform_device *vdev);