| /branches/arm/kernel/arch/arm32/include/debug/print.h |
|---|
| 30,6 → 30,7 |
| * @{ |
| */ |
| /** @file |
| * @brief Debug printing functions. |
| */ |
| #ifndef KERN_arm32_DEBUG_PRINT_H_ |
| 41,7 → 42,6 |
| extern void debug_puts(const char *str); |
| extern void debug_printf(const char *fmt, ...); |
| #ifdef CONFIG_DEBUG |
| # define dprintf(arg1...) debug_printf(arg1) |
| # define dputs(arg1) debug_puts(arg1) |