[Xen-changelog] [xen-unstable] EPT: Assert p2m is locked in ept_sync_domain().

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

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1253625578 -3600
# Node ID 8b1567102cf3f2c1e97f8a6b1e0114af1ba3017c
# Parent  6a931ed48f1946bbae3ca39053daf77b75f04edf
EPT: Assert p2m is locked in ept_sync_domain().
Signed-off-by: George Dunlap <george.dunlap@xxxxxxxxxxxxx>
---
 xen/arch/x86/hvm/vmx/vmx.c |    1 +
 1 files changed, 1 insertion(+)

diff -r 6a931ed48f19 -r 8b1567102cf3 xen/arch/x86/hvm/vmx/vmx.c
--- a/xen/arch/x86/hvm/vmx/vmx.c        Tue Sep 22 14:18:51 2009 +0100
+++ b/xen/arch/x86/hvm/vmx/vmx.c        Tue Sep 22 14:19:38 2009 +0100
@@ -1233,6 +1233,7 @@ void ept_sync_domain(struct domain *d)
         return;
 
     ASSERT(local_irq_is_enabled());
+    ASSERT(p2m_locked_by_me(d->arch.p2m));
 
     /*
      * Flush active cpus synchronously. Flush others the next time this domain

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