On Wed, Jul 22, 2015 at 06:47:00PM +0100, Robin Murphy wrote:
> Printing "IOMMU is currently not supported for PCI" for every PCI device
> probed on a DT-based system proves to be both irritatingly noisy and
> confusing to users who have misinterpreted it to mean they can no longer
> use VFIO device assignment.
> 
> Since configuring DMA masks for PCI devices via of_dma_configure() has
> not in fact changed anything with regard to IOMMUs there really is nothing
> to warn about here; shut it up.
> 
> Signed-off-by: Robin Murphy <robin.mur...@arm.com>
> ---
>  drivers/iommu/of_iommu.c | 8 +++++---
>  1 file changed, 5 insertions(+), 3 deletions(-)

Applied, thanks.

_______________________________________________
iommu mailing list
iommu@lists.linux-foundation.org
https://lists.linuxfoundation.org/mailman/listinfo/iommu

Reply via email to