1 /*
2  *  video.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_VIDEO_H
10 #define _XEN_VIDEO_H
11 
12 #include <public/xen.h>
13 
14 #ifdef CONFIG_VIDEO
15 void video_init(void);
16 extern void (*video_puts)(const char *);
17 void video_endboot(void);
18 #else
19 #define video_init()    ((void)0)
20 #define video_puts(s)   ((void)0)
21 #define video_endboot() ((void)0)
22 #endif
23 
24 #endif /* _XEN_VIDEO_H */
25