From: Yang Zhang <yang.z.zhang@Intel.com>
Date: Tue, 6 Aug 2013 15:22:35 +0000 (+0200)
Subject: Nested VMX: Flush TLBs and Caches if paging mode changed
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~6563
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=e1ab5c77b44b7bd835a2c032fa4963b36545fdb3;p=xen.git

Nested VMX: Flush TLBs and Caches if paging mode changed

According to SDM, if paging mode is changed, then whole TLBs and caches will
be flushed. This is missed in nested handle logic. Also this fixed the issue
that 64 bits windows cannot boot up on top of L1 kvm.

Signed-off-by: Yang Zhang <yang.z.zhang@Intel.com>
Acked-by: Keir Fraser <keir@xen.org>
---

diff --git a/xen/arch/x86/mm/paging.c b/xen/arch/x86/mm/paging.c
index cd08b2a204..4ba7669a34 100644
--- a/xen/arch/x86/mm/paging.c
+++ b/xen/arch/x86/mm/paging.c
@@ -709,6 +709,7 @@ void paging_update_nestedmode(struct vcpu *v)
     else
         /* TODO: shadow-on-shadow */
         v->arch.paging.nestedmode = NULL;
+    hvm_asid_flush_vcpu(v);
 }
 
 void paging_write_p2m_entry(struct p2m_domain *p2m, unsigned long gfn,