Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Halt handling uses global performance parameters to decide yield strategy
[palacios.git] / geekos / include / geekos / serial.h
1 /* 
2  * This file is part of the Palacios Virtual Machine Monitor developed
3  * by the V3VEE Project with funding from the United States National 
4  * Science Foundation and the Department of Energy.  
5  *
6  * The V3VEE Project is a joint project between Northwestern University
7  * and the University of New Mexico.  You can find out more at 
8  * http://www.v3vee.org
9  *
10  * Copyright (c) 2008, Peter Dinda <pdinda@northwestern.edu> 
11  * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
12  * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org> 
13  * All rights reserved.
14  *
15  * Author: Peter Dinda <pdinda@northwestern.edu>
16  * Author: Jack Lange <jarusl@cs.northwestern.edu>
17  *
18  * This is free software.  You are permitted to use,
19  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
20  */
21
22 #ifndef SERIAL_H
23 #define SERIAL_H
24
25 #include <geekos/irq.h>
26 #include <geekos/string.h>
27 #include <geekos/io.h>
28 #include <geekos/screen.h>
29
30 #define COM1_IRQ 4
31 #define DEFAULT_SERIAL_ADDR 0x3F8
32
33
34 #ifndef SERIAL_PRINT_DEBUG_LEVEL
35 #define SERIAL_PRINT_DEBUG_LEVEL  10
36 #endif
37
38 void SerialPutChar(unsigned char c);
39
40 void SerialPrint(const char * format, ...);
41 void SerialPrintLevel(int level, const char * format, ...);
42 void SerialPrintList(const char * format, va_list ap);
43
44 void SerialPutLine(char * line); 
45 void SerialPutLineN(char * line, int len);
46
47
48 void SerialPrintHex(unsigned char x);
49 void SerialMemDump(unsigned char *start, int n);
50
51 void Init_Serial();
52 void InitSerialAddr(unsigned short io_addr);
53
54 #endif