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

[Andrii Anisov <andrii.anisov@xxxxxxxxx>]

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.

--
Sincerely,
Andrii Anisov.

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