vfio_iommufd_physical_detach_ioas
.detach_ioas = vfio_iommufd_physical_detach_ioas,
EXPORT_SYMBOL_GPL(vfio_iommufd_physical_detach_ioas);
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
.detach_ioas = vfio_iommufd_physical_detach_ioas,
void vfio_iommufd_physical_detach_ioas(struct vfio_device *vdev);