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

[Julien Grall <julien.grall@xxxxxxx>]

On 21/12/2018 14:43, Andrii Anisov wrote:
> On 28.11.18 18:49, Julien Grall wrote:
>
> >       if ( *last_vcpu_ran != INVALID_VCPU_ID && *last_vcpu_ran != n->vcpu_id )
> > +    {
> >           flush_tlb_local();
> > +    }
> BTW, missed mentioning that curly braces above are odd by coding style.
It is not odd, just unnecessary. I will drop them.

Cheers,

--
Julien Grall

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