blob: 2e897f9df56c598074c57c803b43e4773544263d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
/*
* video.h
*
* This file is subject to the terms and conditions of the GNU General Public
* License. See the file COPYING in the main directory of this archive
* for more details.
*/
#ifndef _XEN_VIDEO_H
#define _XEN_VIDEO_H
#include <public/xen.h>
#ifdef CONFIG_VIDEO
void video_init(void);
extern void (*video_puts)(const char *);
void video_endboot(void);
#else
#define video_init() ((void)0)
#define video_puts(s) ((void)0)
#define video_endboot() ((void)0)
#endif
#endif /* _XEN_VIDEO_H */
|