| 52,6 → 52,19 |
|---|
| (void) __SYSCALL3(SYS_KLOG, 1, (sysarg_t) buf, strlen(buf)); \ |
| } |
| |
| typedef struct { |
| /** Underlying file descriptor. */ |
| int fd; |
| |
| /** Error indicator. */ |
| int error; |
| |
| /** End-of-file indicator. */ |
| int eof; |
| } FILE; |
| |
| extern FILE *stdin, *stdout, *stderr; |
| |
| extern int getchar(void); |
| |
| extern int puts(const char *); |
| 59,7 → 72,7 |
|---|
| |
| extern int printf(const char *, ...); |
| extern int asprintf(char **, const char *, ...); |
| extern int sprintf(char *, const char *fmt, ...); |
| extern int sprintf(char *, const char *, ...); |
| extern int snprintf(char *, size_t , const char *, ...); |
| |
| extern int vprintf(const char *, va_list); |
| 66,11 → 79,35 |
|---|
| extern int vsprintf(char *, const char *, va_list); |
| extern int vsnprintf(char *, size_t, const char *, va_list); |
| |
| #define fprintf(f, fmt, ...) printf(fmt, ##__VA_ARGS__) |
| |
| extern int rename(const char *, const char *); |
| |
| extern FILE *fopen(const char *, const char *); |
| extern int fclose(FILE *); |
| extern size_t fread(void *, size_t, size_t, FILE *); |
| extern size_t fwrite(const void *, size_t, size_t, FILE *); |
| extern int feof(FILE *); |
| extern int ferror(FILE *); |
| extern void clearerr(FILE *); |
| |
| extern int fgetc(FILE *); |
| extern int fputc(int, FILE *); |
| extern int fputs(const char *, FILE *); |
| |
| extern int fprintf(FILE *, const char *, ...); |
| extern int vfprintf(FILE *, const char *, va_list); |
| |
| #define getc fgetc |
| #define putc fputc |
| |
| extern int fseek(FILE *, long, int); |
| |
| #ifndef SEEK_SET |
| #define SEEK_SET 0 |
| #define SEEK_CUR 1 |
| #define SEEK_END 2 |
| #endif |
| |
| #endif |
| |
| /** @} |
| */ |