1 #ifndef __V3_XED_COMPAT_H__
2 #define __V3_XED_COMPAT_H__
5 #include <palacios/vmm_types.h>
7 /* Definition of the control structure for streams
9 typedef struct file_struct {
10 short level; /* fill/empty level of buffer */
11 unsigned flags; /* File status flags */
12 char fd; /* File descriptor */
13 unsigned char hold; /* Ungetc char if no buffer */
14 short bsize; /* Buffer size */
15 unsigned char *buffer; /* Data transfer buffer */
16 unsigned char *curp; /* Current active pointer */
17 unsigned istemp; /* Temporary file indicator */
18 short token; /* Used for validity checking */
23 int fprintf(FILE *file, char *fmt, ...);
24 int printf(char *fmt, ...);
25 int fflush(FILE *stream);