Don't we have a device tree problem here if there is a domain covering them? I though we should only pick up an IOMMU for a given device if DT explicitly asked for that?
Don't we have a device tree problem here if there is a domain covering them? I though we should only pick up an IOMMU for a given device if DT explicitly asked for that?