diff options
| author | Alex AUVOLAT <alexis211@gmail.com> | 2012-05-18 19:06:35 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alexis211@gmail.com> | 2012-05-18 19:06:35 +0200 |
| commit | 478c691187fbc9ba4ccaacf92f57828eef20041c (patch) | |
| tree | 4cb4b00d7da1fd533cebc347f3641cc0455935f5 /src/user/lib/include/stdio.h | |
| parent | 7e6454020ed1143e05e83a683606f318995458e5 (diff) | |
| download | TCE-478c691187fbc9ba4ccaacf92f57828eef20041c.tar.gz TCE-478c691187fbc9ba4ccaacf92f57828eef20041c.zip | |
Simple shell added. Simple fprintf function added too.
Diffstat (limited to 'src/user/lib/include/stdio.h')
| -rw-r--r-- | src/user/lib/include/stdio.h | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/user/lib/include/stdio.h b/src/user/lib/include/stdio.h index e3f9d89..91fe169 100644 --- a/src/user/lib/include/stdio.h +++ b/src/user/lib/include/stdio.h @@ -1,7 +1,13 @@ #ifndef DEF_STDIO_H #define DEF_STDIO_H -void printk_int(int number); -void printk_hex(unsigned number); +#include <stdarg.h> + +void fprint(FILE f, char *s); +void fprint_int(FILE f, int number); +void fprint_hex(FILE f, unsigned number); +void fprintf(FILE f, char *s, ...); + +char* freadln(FILE f); #endif |