vfio_platform_close_device
.close_device = vfio_platform_close_device,
.close_device = vfio_platform_close_device,
EXPORT_SYMBOL_GPL(vfio_platform_close_device);
void vfio_platform_close_device(struct vfio_device *core_vdev);