X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fserial.c;h=d4999182b18c64a2408b61397ee88c49f5dcf1db;hp=f769d7fd49803bab432bd296dffbe0f9653754a3;hb=d6aaf17a9c98eeaa093a35fb61c4b4bb59b31c07;hpb=56447cc42b250554dc3e49dd805d198a0e9a256c

diff --git a/palacios/src/geekos/serial.c b/palacios/src/geekos/serial.c
index f769d7f..d499918 100644
--- a/palacios/src/geekos/serial.c
+++ b/palacios/src/geekos/serial.c
@@ -66,7 +66,7 @@ void InitSerialAddr(unsigned short io_addr) {
 
 
 
-inline static void SerialPutChar(unsigned char c) {
+void SerialPutChar(unsigned char c) {
  
  //  static unsigned short io_adr;
   if (serial_io_addr==0) {