On Fri, Sep 28, 2018 at 01:47:04PM +0100, Will Deacon wrote:
> On Fri, Sep 28, 2018 at 01:26:00PM +0100, Robin Murphy wrote:
> > On 28/09/18 13:19, Will Deacon wrote:
> > > On Thu, Sep 20, 2018 at 05:10:25PM +0100, Robin Murphy wrote:
> > > > diff --git a/drivers/iommu/arm-smmu-v3.c b/drivers/iommu/arm-smmu-v3.c
> > > > index f10c852479fc..db402e8b068b 100644
> > > > --- a/drivers/iommu/arm-smmu-v3.c
> > > > +++ b/drivers/iommu/arm-smmu-v3.c
> > > > @@ -612,6 +612,7 @@ struct arm_smmu_domain {
> > > >         struct mutex                    init_mutex; /* Protects smmu 
> > > > pointer */
> > > >         struct io_pgtable_ops           *pgtbl_ops;
> > > > +       bool                            non_strict;
> > > >         enum arm_smmu_domain_stage      stage;
> > > >         union {
> > > > @@ -1407,6 +1408,12 @@ static void arm_smmu_tlb_inv_context(void 
> > > > *cookie)
> > > >                 cmd.tlbi.vmid   = smmu_domain->s2_cfg.vmid;
> > > >         }
> > > > +       /*
> > > > +        * NOTE: when io-pgtable is in non-strict mode, we may get here 
> > > > with
> > > > +        * PTEs previously cleared by unmaps on the current CPU not yet 
> > > > visible
> > > > +        * to the SMMU. We are relying on the DSB implicit in 
> > > > queue_inc_prod()
> > > > +        * to guarantee those are observed before the TLBI. Do be 
> > > > careful, 007.
> > > > +        */
> > > 
> > > Good, so you can ignore my comment on the previous patch :)
> > 
> > Well, I suppose that comment in io-pgtable *could* have explicitly noted
> > that same-CPU order is dealt with elsewhere - feel free to fix it up if you
> > think it would be a helpful reminder for the future.
> 
> I think I'll move it into the documentation for the new attribute, so that
> any driver authors wanting to enable lazy invalidation know that they need
> to provide this guarantee in their full TLB invalidation callback.

Hmm, so I started doing this but then realised we already required this
behaviour for tlb_add_flush() afaict. That would mean that mainline
currently has a bug for arm-smmu.c, because we use the _relaxed I/O
accessors in there and there's no DSB after clearing the PTE on unmap().

Am I missing something?

Will
_______________________________________________
iommu mailing list
[email protected]
https://lists.linuxfoundation.org/mailman/listinfo/iommu

Reply via email to