Re: [Xen-devel] [PATCH for-4.12 5/8] xen/arm: p2m: Only use isb() when it is necessary

[Julien Grall <julien.grall@xxxxxxx>]

Hi Stefano,

On 23/01/2019 23:42, Stefano Stabellini wrote:
> On Wed, 28 Nov 2018, Julien Grall wrote:
> > +    /*
> >        * Flush local TLB for the domain to prevent wrong TLB translation
> >        * when running multiple vCPU of the same domain on a single pCPU.
> >        */
> >       if ( *last_vcpu_ran != INVALID_VCPU_ID && *last_vcpu_ran != n->vcpu_id )
> > +    {
> >           flush_tlb_local();
> > +    }
> Spurious change?
Yes, this was a left-over from a previous try. I will drop them.

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel