1 files changed, 64 insertions, 0 deletions
diff --git a/mdk-stage1/dietlibc/dietstdio.h b/mdk-stage1/dietlibc/dietstdio.h
new file mode 100644
index 000000000..5cacbde23
--- /dev/null
+++ b/mdk-stage1/dietlibc/dietstdio.h
@@ -0,0 +1,64 @@
+/* diet stdio -- no buffering ;-} */
+
+#include "dietfeatures.h"
+#include <sys/types.h>
+
+#define BUFSIZE 128
+
+typedef struct __file {
+  int fd;
+  int flags;
+#ifdef WANT_BUFFERED_STDIO
+  int seekofs;
+  int bm;
+  char buf[BUFSIZE];
+  struct __file *next;
+#endif
+} FILE;
+
+extern FILE *__stdio_root;
+
+#define ERRORINDICATOR 1
+#define EOFINDICATOR 2
+#define BUFINPUT 4
+#define BUFLINEWISE 8
+
+/* internal function to flush buffer.
+ * However, if next is BUFINPUT and the buffer is an input buffer, it
+ * will not be flushed. Vice versa for output */
+extern int __fflush4(FILE *stream,int next);
+
+FILE *fopen (const char *path, const char *mode);
+FILE *fdopen (int fildes, const char *mode);
+FILE *freopen (const char *path, const char *mode, FILE *stream);
+
+int fgetc(FILE *stream);
+char *fgets(char *s, int size, FILE *stream);
+int getc(FILE *stream);
+int getchar(void);
+char *gets(char *s);
+int ungetc(int c, FILE *stream);
+
+int fputc(int c, FILE *stream);
+int fputs(const char *s, FILE *stream);
+int putc(int c, FILE *stream);
+int putchar(int c);
+int puts(const char *s);
+
+int fseek( FILE *stream, long offset, int whence);
+long ftell( FILE *stream);
+void rewind( FILE *stream);
+int fgetpos( FILE *stream, fpos_t *pos);
+int fsetpos( FILE *stream, fpos_t *pos);
+
+size_t fread( void *ptr, size_t size, size_t nmemb, FILE *stream);
+
+size_t fwrite( const void *ptr, size_t size, size_t nmemb, FILE *stream);
+
+int fflush(FILE *stream);
+
+int fclose(FILE *stream);
+
+extern FILE *stdout, *stderr, *stdin;
+
+#define EOF (int)(-1)