kernel/boot/stdio.h

17 typedef struct FILE FILE;
18 	// dummy definition of FILE
21 extern FILE *stdin;
22 extern FILE *stdout;
23 extern FILE *stderr;
42 extern int fprintf(FILE *stream, char const *format, ...) __PRINTFLIKE(2,3);
47 extern int vfprintf(FILE *stream, char const *format, va_list ap);
53 extern void		clearerr(FILE *stream);
54 extern int		fclose(FILE *stream);
55 extern int		feof(FILE *stream);
56 extern int		ferror(FILE *stream);
57 extern int		fflush(FILE *stream);
58 extern int		fgetpos(FILE *stream, fpos_t *position);
59 extern FILE		*fopen(const char *name, const char *mode);
60 extern size_t	fread(void *buffer, size_t size, size_t numItems, FILE *stream);
61 extern FILE		*freopen(const char *name, const char *mode, FILE *stream);
62 extern int		fscanf(FILE *stream, char const *format, ...);
63 extern int		fseek(FILE *stream, long offset, int seekType);
64 extern int		fsetpos(FILE *stream, const fpos_t *position);
65 extern long		ftell(FILE *stream);
66 extern size_t	fwrite(const void *buffer, size_t size, size_t numItems, FILE *stream);
69 extern void		rewind(FILE *stream);
71 extern void		setbuf (FILE *file, char *buff);
72 extern int		setvbuf(FILE *file, char *buff, int mode, size_t size);
74 extern FILE		*tmpfile(void);
76 extern int		ungetc(int c, FILE *stream);
79 extern int		vfscanf(FILE *stream, char const *format, va_list ap);
81 extern int    fgetc(FILE *);
82 extern char  *fgets(char *, int, FILE *);
83 extern int    fputc(int, FILE *);
84 extern int    fputs(const char *, FILE*);
85 extern int    getc(FILE *);
87 extern int    getw(FILE *);
89 extern int    putc(int, FILE *);
92 extern int    putw(int, FILE *);