vfio_platform_irq_init  264 drivers/vfio/platform/vfio_platform_common.c 		ret = vfio_platform_irq_init(vdev);
vfio_platform_irq_init   86 drivers/vfio/platform/vfio_platform_private.h extern int vfio_platform_irq_init(struct vfio_platform_device *vdev);