X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fserial.c;h=f769d7fd49803bab432bd296dffbe0f9653754a3;hp=4f79c84163ec7b243e23767848fafcffc3046c89;hb=624a05de781c51ed5d34a6db2583f884918a9594;hpb=43c556d146e12c7f35612e3a8cf6420b42fdef70

diff --git a/palacios/src/geekos/serial.c b/palacios/src/geekos/serial.c
index 4f79c84..f769d7f 100644
--- a/palacios/src/geekos/serial.c
+++ b/palacios/src/geekos/serial.c
@@ -10,7 +10,6 @@
 unsigned short serial_io_addr = 0;
 uint_t serial_print_level;
 
-
 static void Serial_Interrupt_Handler(struct Interrupt_State * state) {
   char rcv_byte;
   char irq_id;