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=4f9911313f95698d2bf75d41e1b56ada1be69634;hb=cafbc1318c847b8c18e2036dc56be7af7acefa4e;hp=55d75414c4830bef132fb848d5039fb882c2caba;hpb=101b1bdfedbf377765d7c74641e9bcf356ebed18;p=palacios.git

diff --git a/palacios/src/devices/serial.c b/palacios/src/devices/serial.c
index 55d7541..4f99113 100644
--- a/palacios/src/devices/serial.c
+++ b/palacios/src/devices/serial.c
@@ -162,7 +162,7 @@ struct serial_buffer {
 };
 
 int queue_data(struct serial_buffer * buf, char data) {
-  int next_loc = (buf->head + 1) % SERIAL_BUF_LEN;
+  uint_t next_loc = (buf->head + 1) % SERIAL_BUF_LEN;
 
   if (next_loc == buf->tail) {
     return -1;
@@ -175,7 +175,7 @@ int queue_data(struct serial_buffer * buf, char data) {
 }
 
 int dequeue_data(struct serial_buffer * buf, char * data) {
-  int next_tail = (buf->tail + 1) % SERIAL_BUF_LEN;
+  uint_t next_tail = (buf->tail + 1) % SERIAL_BUF_LEN;
 
   if (buf->head == buf->tail) {
     return -1;