From: Peter Dinda <pdinda@northwestern.edu>
Date: Sun, 15 Sep 2013 19:58:33 +0000 (-0500)
Subject: Clean up debugging output
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=799ace973c21ddecaaf7df1ce416f2dafbed9445

Clean up debugging output
---

diff --git a/palacios/src/devices/serial.c b/palacios/src/devices/serial.c
index 288dbeb..f1ae035 100644
--- a/palacios/src/devices/serial.c
+++ b/palacios/src/devices/serial.c
@@ -551,7 +551,7 @@ static int pump_transmit(struct v3_vm_info * vm, struct serial_port * com)
 
   while (can_dequeue(&(com->tx_buffer))) {
     if (com->ops) { // do we have a back-end to toss it to?
-      int rc;
+	int rc; // why is this not 64 bit?
       // let's take a peek and see if we can send it
       peek_queue(&(com->tx_buffer),&buf);
       rc = com->ops->output(&buf, 1, com->backend_data);
@@ -761,7 +761,7 @@ static int write_data_port(struct guest_info * core, uint16_t port,
 	// queue data to send and update interrupts
 	PrintDebug(core->vm_info, core, "UART: queue transmission of 0x%x ('%c')\n",*val,*val);
 	if (queue_data(core->vm_info, com_port, &(com_port->tx_buffer), *val)) { 
-	  PrintError(core->vm_info,core, "UART: no room for transmitted data - dropped\n");
+	  PrintDebug(core->vm_info,core, "UART: no room for transmitted data - dropped\n");
 	  // note that it must "succeed" since this is a device port
 	} else {
 	  updateIRQ(core->vm_info, com_port);