X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_xed.c;h=bea0aaf9be31ddef3a71d347cbe9f6d6ac46a44f;hp=7830458304ce3f507c666430bee7fa5af7d98afb;hb=cafbc1318c847b8c18e2036dc56be7af7acefa4e;hpb=101b1bdfedbf377765d7c74641e9bcf356ebed18

diff --git a/palacios/src/palacios/vmm_xed.c b/palacios/src/palacios/vmm_xed.c
index 7830458..bea0aaf 100644
--- a/palacios/src/palacios/vmm_xed.c
+++ b/palacios/src/palacios/vmm_xed.c
@@ -33,6 +33,15 @@
 
 #endif
 
+
+
+#ifndef DEBUG_XED
+#undef PrintDebug
+#define PrintDebug(fmt, args...)
+#endif
+
+
+
 static xed_state_t decoder_state;
 
 #define GPR_REGISTER     0