X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_io.c;h=420085a798e45d606d48a6afbcc29c6f6033c46d;hb=cbf35ad72de3a7a1f6eee3e8b2b35d7f31df22a5;hp=d6431b7e25f1a2837215767836de28df3c2fcb5f;hpb=f7cc83b3bae64c853f5b7b63e2830b1ea92dfed9;p=palacios.git

diff --git a/palacios/src/palacios/vmm_io.c b/palacios/src/palacios/vmm_io.c
index d6431b7..420085a 100644
--- a/palacios/src/palacios/vmm_io.c
+++ b/palacios/src/palacios/vmm_io.c
@@ -5,7 +5,10 @@
 extern struct vmm_os_hooks * os_hooks;
 
 
-
+#ifndef DEBUG_IO
+#undef PrintDebug
+#define PrintDebug(fmt, args...)
+#endif
 
 
 void init_vmm_io_map(vmm_io_map_t * io_map) {