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  */
8 
9 #ifndef _XEN_VGA_H
10 #define _XEN_VGA_H
11 
12 #include <xen/video.h>
13 
14 #ifdef CONFIG_VGA
15 extern struct xen_vga_console_info vga_console_info;
16 #endif
17 
18 #endif /* _XEN_VGA_H */
19