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