1 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
2 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
3 /* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
9 #include <geekos/irq.h>
10 #include <geekos/string.h>
11 #include <geekos/io.h>
12 #include <geekos/screen.h>
15 #define DEFAULT_SERIAL_ADDR 0x3F8
18 #ifndef SERIAL_PRINT_DEBUG_LEVEL
19 #define SERIAL_PRINT_DEBUG_LEVEL 10
22 void SerialPutChar(unsigned char c);
24 void SerialPrint(const char * format, ...);
25 void SerialPrintLevel(int level, const char * format, ...);
26 void SerialPrintList(const char * format, va_list ap);
28 void SerialPutLine(char * line);
29 void SerialPutLineN(char * line, int len);
32 void SerialPrintHex(unsigned char x);
33 void SerialMemDump(unsigned char *start, int n);
36 void InitSerialAddr(unsigned short io_addr);