Rev 2264 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2264 | Rev 2290 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | #define INT8 1 |
32 | #define INT8 1 |
33 | #define INT16 2 |
33 | #define INT16 2 |
34 | #define INT32 4 |
34 | #define INT32 4 |
35 | #define INT64 8 |
35 | #define INT64 8 |
36 | 36 | ||
- | 37 | #include <stdarg.h> |
|
- | 38 | #include <arch/types.h> |
|
- | 39 | ||
37 | extern void debug_puts(const char *str); |
40 | extern void debug_puts(const char *str); |
38 | extern void debug_printf(const char *fmt, ...); |
41 | extern void debug_printf(const char *fmt, ...); |
39 | extern void debug_write(const char *str, const int len); |
42 | extern int debug_write(const char *str, size_t count, void *unused); |
40 | 43 | ||
41 | 44 | ||
42 | #ifdef CONFIG_DEBUG |
45 | #ifdef CONFIG_DEBUG |
43 | # define dprintf(arg1...) debug_printf(arg1) |
46 | # define dprintf(arg1...) debug_printf(arg1) |
44 | # define dputs(arg1) debug_puts(arg1) |
47 | # define dputs(arg1) debug_puts(arg1) |