X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fserial.c;h=b5274312a84cf30600842453ebfb9e95a58d8282;hb=964e7836a6227341b5d895a830b7e36ad6debffb;hp=3f0085eded6b5ad7ca556fba4b53b64aa04c3c73;hpb=e5e029575affad90c19ca038a3b780820535d421;p=palacios.git

diff --git a/palacios/src/devices/serial.c b/palacios/src/devices/serial.c
index 3f0085e..b527431 100644
--- a/palacios/src/devices/serial.c
+++ b/palacios/src/devices/serial.c
@@ -29,6 +29,12 @@
 #include <palacios/vm_guest.h>
 
 
+#ifndef CONFIG_DEBUG_SERIAL
+#undef PrintDebug
+#define PrintDebug(fmt, args...)
+#endif
+
+
 #define COM1_DATA_PORT           0x3f8
 #define COM1_IRQ_ENABLE_PORT     0x3f9
 #define COM1_DIV_LATCH_LSB_PORT  0x3f8