Rev 2787 | Rev 3425 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2787 | Rev 3424 | ||
---|---|---|---|
Line 47... | Line 47... | ||
47 | { \ |
47 | { \ |
48 | char buf[256]; \ |
48 | char buf[256]; \ |
49 | int n; \ |
49 | int n; \ |
50 | n = snprintf(buf, sizeof(buf), fmt, ##__VA_ARGS__); \ |
50 | n = snprintf(buf, sizeof(buf), fmt, ##__VA_ARGS__); \ |
51 | if (n > 0) \ |
51 | if (n > 0) \ |
52 | (void) __SYSCALL3(SYS_IO, 1, (sysarg_t) buf, strlen(buf)); \ |
52 | (void) __SYSCALL3(SYS_KLOG, 1, (sysarg_t) buf, strlen(buf)); \ |
53 | } |
53 | } |
54 | 54 | ||
55 | extern int getchar(void); |
55 | extern int getchar(void); |
56 | 56 | ||
57 | extern int puts(const char * str); |
57 | extern int puts(const char * str); |