diff options
| author | Alex AUVOLAT <alexis211@gmail.com> | 2012-05-19 11:45:49 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alexis211@gmail.com> | 2012-05-19 11:45:49 +0200 |
| commit | 499ca6c243b05da176a2d4bd9a2317f0b28afc7f (patch) | |
| tree | f55ff788632b017ab8de83b71ad02b0998e1dda5 /src/user/lib/include/stdio.h | |
| parent | 7b466345af0d3a7dc5622617ce443a90c64e34a4 (diff) | |
| download | TCE-499ca6c243b05da176a2d4bd9a2317f0b28afc7f.tar.gz TCE-499ca6c243b05da176a2d4bd9a2317f0b28afc7f.zip | |
Introducing FWIK, the userland C++ framework. Far from complete.
Diffstat (limited to 'src/user/lib/include/stdio.h')
| -rw-r--r-- | src/user/lib/include/stdio.h | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/user/lib/include/stdio.h b/src/user/lib/include/stdio.h deleted file mode 100644 index 099746e..0000000 --- a/src/user/lib/include/stdio.h +++ /dev/null @@ -1,21 +0,0 @@ -#ifndef DEF_STDIO_H -#define DEF_STDIO_H - -#include <stdarg.h> -#include <tce/syscall.h> - -extern FILE term; - -void print(char *s); -void printf(char *s, ...); -char *readln(); - -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, ...); - -void vfprintf(FILE f, char *s, va_list arg); - - -#endif |