Re: [PATCH 04/12] iommu/arm-smmu: Convert to iommu_capable() API function

From: Joerg Roedel
Date: Tue Sep 09 2014 - 09:57:22 EST


Hi Will,

On Mon, Sep 08, 2014 at 05:51:36PM +0100, Will Deacon wrote:
> On Fri, Sep 05, 2014 at 11:52:56AM +0100, Joerg Roedel wrote:
> > switch (cap) {
> > case IOMMU_CAP_CACHE_COHERENCY:
> > - return features & ARM_SMMU_FEAT_COHERENT_WALK;
> > + /*
> > + * Use ARM_SMMU_FEAT_COHERENT_WALK as an indicator on whether
> > + * the SMMU can force coherency on the DMA transaction. If it
> > + * supports COHERENT_WALK it must be behind a coherent
> > + * interconnect.
> > + * A domain can be attached to any SMMU, so to reliably support
> > + * IOMMU_CAP_CACHE_COHERENCY all SMMUs in the system need to be
> > + * behind a coherent interconnect.
> > + */
>
> I don't think we should rely on the SMMU's advertisement of the coherent
> table walk to mean anything other than `the SMMU can emit cacheable page
> table walks'. The actual walker is a separate observer, and could have a
> different route to memory than transactions flowing through the SMMU.

Okay, so this should be advertised via DT then.

> In reality, all we can report here is what the SMMU (as opposed to the rest
> of the system) is capable of. The SMMU can always emit cacheable
> transactions for a master if a stage-1 translation is in use so, without
> extending the device-tree binding, we should report true here
> unconditionally.

Sounds more like we should return false here unconditionally until we
have a reliable way to tell whether this feature is available, no? When
we return true the user of the IOMMU-API might rely on coherency that is
not available.

> An alternative is to extend the device-tree bindings to have something like
> "dma-coherent" for the SMMU node, which would imply that the interconnect is
> configured to honour snoops from the SMMU into the CPU caches. We might want
> an additional property on top of that to indicate that the table walker is
> also coherent (and we could check this against our ARM_SMMU_FEAT_COHERENT_WALK
> flag)

Sounds like a good idea, as long as there is no other way to detect
this.


Joerg

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/