X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fserial.c;fp=palacios%2Fsrc%2Fdevices%2Fserial.c;h=7468493bc38204842736461dab40c08abed09a69;hb=8c767ddb04d3ac42d080d9f9f5f40196d6f8f217;hp=c4c52dad3b90b523db0bd95ca285e44f731772e8;hpb=9881f0e9f9327b8acdab8d119c2c7c4274ee69b9;p=palacios-OLD.git

diff --git a/palacios/src/devices/serial.c b/palacios/src/devices/serial.c
index c4c52da..7468493 100644
--- a/palacios/src/devices/serial.c
+++ b/palacios/src/devices/serial.c
@@ -289,7 +289,7 @@ static int write_ctrl_port(ushort_t port, void * src, uint_t length, struct vm_d
   PrintDebug("Write to Control Port (val=%x)\n", *(char *)src);
 
   if (length != 1) {
-    PrintDebug("Invalid Write length to control port\n", port, port);
+    PrintDebug("Invalid Write length to control port %d\n", port);
     return -1;
   }