change default guest name in guest config script

[palacios.git] / palacios / src / devices / serial.c

diff --git a/palacios/src/devices/serial.c b/palacios/src/devices/serial.c
index 85eecc8..f1ae035 100644 (file)
--- 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);
@@ -1456,12 +1456,12 @@ static int serial_load(struct v3_chkpt_ctx * ctx, void * private_data) {
     snprintf(keyname, 128,"COM%d_int_state",i);
     V3_CHKPT_LOAD(ctx, keyname, serial->int_state,failout);
 
-    if (serial_buffer_load(ctx, i, &(serial->tx_buffer), "RX")) { 
+    if (serial_buffer_load(ctx, i, &(serial->tx_buffer), "TX")) { 
       PrintError(VM_NONE, VCORE_NONE, "Failed to load serial tx buffer %d\n",i);
       goto failout;
     }
     
-    if (serial_buffer_load(ctx, i, &(serial->rx_buffer), "TX")) { 
+    if (serial_buffer_load(ctx, i, &(serial->rx_buffer), "RX")) { 
       PrintError(VM_NONE, VCORE_NONE, "Failed to load serial rx buffer %d\n",i);
       goto failout;
     }