# HG changeset patch
# User maf46@burn.cl.cam.ac.uk
# Date 1114110876 0
# Node ID 8ae284c9743c51b7ba82ff405927fcc6037e4043
# Parent  43d58d3eeaa54665637c9fb42c53591eb14661b3
bitkeeper revision 1.1360 (4267fb9cE5_cr52xAcYJVAIQ7vYIzg)

Added SH_VVVLOG, rather than #if 0, for useful but incredibly verbose shadow mode debugging hook

Signed-off-by: michael.fetterman@cl.cam.ac.uk


diff -r 43d58d3eeaa5 -r 8ae284c9743c xen/include/asm-x86/shadow.h
--- a/xen/include/asm-x86/shadow.h	Thu Apr 21 19:13:59 2005 +0000
+++ b/xen/include/asm-x86/shadow.h	Thu Apr 21 19:14:36 2005 +0000
@@ -227,6 +227,7 @@ struct out_of_sync_entry {
 #define SHADOW_DEBUG 0
 #define SHADOW_VERBOSE_DEBUG 0
 #define SHADOW_VVERBOSE_DEBUG 0
+#define SHADOW_VVVERBOSE_DEBUG 0
 #define SHADOW_HASH_DEBUG 0
 #define FULLSHADOW_DEBUG 0
 
@@ -258,6 +259,14 @@ extern int shadow_status_noswap;
 #define SH_VVLOG(_f, _a...)
 #endif
 
+#if SHADOW_VVVERBOSE_DEBUG
+#define SH_VVVLOG(_f, _a...)                                            \
+    printk("DOM%uP%u: SH_VVVLOG(%d): " _f "\n",                         \
+           current->domain->id, current->processor, __LINE__ , ## _a )
+#else
+#define SH_VVVLOG(_f, _a...)
+#endif
+
 #if FULLSHADOW_DEBUG
 #define FSH_LOG(_f, _a...)                                              \
     printk("DOM%uP%u: FSH_LOG(%d): " _f "\n",                           \
@@ -661,11 +670,9 @@ static inline void l1pte_propagate_from_
         }
     }
 
-#if 0
     if ( l1e_get_value(spte) || l1e_get_value(gpte) )
-        SH_VVLOG("%s: gpte=%p, new spte=%p",
-                 __func__, l1e_get_value(gpte), l1e_get_value(spte));
-#endif
+        SH_VVVLOG("%s: gpte=%p, new spte=%p",
+                  __func__, l1e_get_value(gpte), l1e_get_value(spte));
 
     *spte_p = spte;
 }