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@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
