[Xen-changelog] [xen-unstable] Intel vpid: Invalidate VPID mapping on INVLPG.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1209654476 -3600
# Node ID 45c975a6554d75e6661996a1b97dcc8c01d49888
# Parent  bb2301b33760e74960dc9b845d9251f6f4cd2fd1
Intel vpid: Invalidate VPID mapping on INVLPG.
Signed-off-by: Gianluca Guida <gianluca.guida@xxxxxxxxxxxxx>
---
 xen/arch/x86/hvm/vmx/vmx.c        |    3 ++-
 xen/include/asm-x86/hvm/vmx/vmx.h |    6 ++++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff -r bb2301b33760 -r 45c975a6554d xen/arch/x86/hvm/vmx/vmx.c
--- a/xen/arch/x86/hvm/vmx/vmx.c        Thu May 01 15:44:35 2008 +0100
+++ b/xen/arch/x86/hvm/vmx/vmx.c        Thu May 01 16:07:56 2008 +0100
@@ -1368,7 +1368,8 @@ static void vmx_invlpg_intercept(unsigne
 {
     struct vcpu *curr = current;
     HVMTRACE_2D(INVLPG, curr, /*invlpga=*/ 0, vaddr);
-    paging_invlpg(curr, vaddr);
+    if ( paging_invlpg(curr, vaddr) )
+        vpid_sync_vcpu_gva(curr, vaddr);
 }
 
 #define CASE_SET_REG(REG, reg)      \
diff -r bb2301b33760 -r 45c975a6554d xen/include/asm-x86/hvm/vmx/vmx.h
--- a/xen/include/asm-x86/hvm/vmx/vmx.h Thu May 01 15:44:35 2008 +0100
+++ b/xen/include/asm-x86/hvm/vmx/vmx.h Thu May 01 16:07:56 2008 +0100
@@ -301,6 +301,12 @@ static inline void ept_sync_all(void)
 
 void ept_sync_domain(struct domain *d);
 
+static inline void vpid_sync_vcpu_gva(struct vcpu *v, unsigned long gva)
+{
+    if ( cpu_has_vmx_vpid )
+        __invvpid(0, v->arch.hvm_vmx.vpid, (u64)gva);
+}
+
 static inline void vpid_sync_vcpu_all(struct vcpu *v)
 {
     if ( cpu_has_vmx_vpid )

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog