debuggers.hg

view xen/include/xen/vga.h @ 0:7d21f7218375

Exact replica of unstable on 051908 + README-this
author Mukesh Rathor
date Mon May 19 15:34:57 2008 -0700 (2008-05-19)
parents
children
line source
1 /*
2 * vga.h
3 *
4 * This file is subject to the terms and conditions of the GNU General Public
5 * License. See the file COPYING in the main directory of this archive
6 * for more details.
7 */
9 #ifndef _XEN_VGA_H
10 #define _XEN_VGA_H
12 #include <xen/config.h>
14 #ifdef CONFIG_VGA
15 extern struct xen_vga_console_info vga_console_info;
16 void vga_init(void);
17 void vga_endboot(void);
18 extern void (*vga_puts)(const char *);
19 #else
20 #define vga_init() ((void)0)
21 #define vga_endboot() ((void)0)
22 #define vga_puts(s) ((void)0)
23 #endif
25 #endif /* _XEN_VGA_H */