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
12
#include <xen/config.h>
15
extern struct xen_vga_console_info vga_console_info;
17
void vga_endboot(void);
18
extern void (*vga_puts)(const char *);
20
#define vga_init() ((void)0)
21
#define vga_endboot() ((void)0)
22
#define vga_puts(s) ((void)0)
25
#endif /* _XEN_VGA_H */