@@ -22,15 +22,15 @@
#include "trace-root.h"
-//#define MAPCACHE_DEBUG
-
-#ifdef MAPCACHE_DEBUG
-# define DPRINTF(fmt, ...) do { \
- fprintf(stderr, "xen_mapcache: " fmt, ## __VA_ARGS__); \
-} while (0)
-#else
-# define DPRINTF(fmt, ...) do { } while (0)
-#endif
+#ifndef MAPCACHE_DEBUG
+#define MAPCACHE_DEBUG 0
+#endif
+
+#define DPRINTF(fmt, ...) do { \
+ if (MAPCACHE_DEBUG) { \
+ fprintf(stderr, "xen_mapcache: " fmt, ## __VA_ARGS__); \
+ } \
+} while (0);
#if HOST_LONG_BITS == 32
# define MCACHE_BUCKET_SHIFT 16