On 22/07/15 18:47, 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>
Ah, I was wondering why the kernel was shouting at me while everything was indeed working just fine. Acked-by: Marc Zyngier <marc.zyng...@arm.com> M. -- Jazz is not dead. It just smells funny... _______________________________________________ iommu mailing list iommu@lists.linux-foundation.org https://lists.linuxfoundation.org/mailman/listinfo/iommu