|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
xen-changelog
[Xen-changelog] [xen-unstable] x86/mm: fix the non-debug build
 
# HG changeset patch
# User Tim Deegan <Tim.Deegan@xxxxxxxxxx>
# Date 1309428064 -3600
# Node ID 4a1f7441095d1b5dea37e0b661db6b2ee4c94322
# Parent  7db0edf339a5e8cb3aba3ba6d632504d96bdd32a
x86/mm: fix the non-debug build
Signed-off-by: Tim Deegan <Tim.Deegan@xxxxxxxxxx>
---
diff -r 7db0edf339a5 -r 4a1f7441095d xen/arch/x86/mm/p2m.c
--- a/xen/arch/x86/mm/p2m.c     Thu Jun 30 10:26:54 2011 +0100
+++ b/xen/arch/x86/mm/p2m.c     Thu Jun 30 11:01:04 2011 +0100
@@ -1102,9 +1102,7 @@
 void
 p2m_flush(struct vcpu *v, struct p2m_domain *p2m)
 {
-    struct domain *d = p2m->domain;
-
-    ASSERT(v->domain == d);
+    ASSERT(v->domain == p2m->domain);
     vcpu_nestedhvm(v).nv_p2m = NULL;
     p2m_flush_table(p2m);
     hvm_asid_flush_vcpu(v);
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
 |   
 
| <Prev in Thread] | 
Current Thread | 
[Next in Thread> |  
- [Xen-changelog] [xen-unstable] x86/mm: fix the non-debug build,
Xen patchbot-unstable <=
  
 |  
  
 | 
    | 
  
  
    |   | 
    |