From mboxrd@z Thu Jan 1 00:00:00 1970 From: David Vrabel Subject: Re: [PATCHv3 1/2] x86/ept: invalidate guest physical mappings on VMENTER Date: Mon, 14 Dec 2015 14:41:43 +0000 Message-ID: <566ED527.8020007@citrix.com> References: <1449160950-31722-1-git-send-email-david.vrabel@citrix.com> <1449160950-31722-2-git-send-email-david.vrabel@citrix.com> <56617254.1070904@citrix.com> <5661977E.6080409@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: Received: from mail6.bemta3.messagelabs.com ([195.245.230.39]) by lists.xen.org with esmtp (Exim 4.72) (envelope-from ) id 1a8UJx-0004zS-0k for xen-devel@lists.xenproject.org; Mon, 14 Dec 2015 14:41:49 +0000 In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: George Dunlap , David Vrabel Cc: Kevin Tian , Jan Beulich , Andrew Cooper , Tim Deegan , George Dunlap , Jun Nakajima , xen-devel List-Id: xen-devel@lists.xenproject.org On 07/12/15 10:25, George Dunlap wrote: > > I took the past tense ("synced") to mean, "These CPUs have been > brought into sync (or are no longer out of sync)". So they start out > not-synced, so you initialize the bit to be clear; when an INVEPT is > executed, they become synced, so you set the bit; and when you change > the EPT tables, they are no longer synced so you clear the bit. It didn't work like that though. I have retained the changed name and meaning. David