Rev 1866 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1866 | Rev 1868 | ||
---|---|---|---|
Line 38... | Line 38... | ||
38 | #include <types.h> |
38 | #include <types.h> |
39 | #include <stdarg.h> |
39 | #include <stdarg.h> |
40 | 40 | ||
41 | #define EOF (-1) |
41 | #define EOF (-1) |
42 | 42 | ||
- | 43 | #include <string.h> |
|
43 | #include <io/stream.h> |
44 | #include <io/stream.h> |
44 | 45 | ||
- | 46 | #define DEBUG(fmt, ...) \ |
|
- | 47 | { \ |
|
- | 48 | char buf[256]; \ |
|
- | 49 | int n; \ |
|
- | 50 | n = snprintf(buf, sizeof(buf), fmt, ##__VA_ARGS__); \ |
|
- | 51 | if (n > 0) \ |
|
- | 52 | (void) __SYSCALL3(SYS_IO, 1, (sysarg_t) buf, strlen(buf)); \ |
|
- | 53 | } |
|
- | 54 | ||
45 | extern int getchar(void); |
55 | extern int getchar(void); |
46 | 56 | ||
47 | extern int puts(const char * str); |
57 | extern int puts(const char * str); |
48 | extern int putchar(int c); |
58 | extern int putchar(int c); |
49 | 59 |