| /branches/arm/kernel/arch/arm32/src/debug/print.c |
|---|
| 56,7 → 56,7 |
| * |
| * @return Number of printed characters. |
| */ |
| static int debug_write(const char *str, size_t count, void *unused) |
| static int debug_write(const char *str, size_t count, void *unused) |
| { |
| int i; |
| for (i = 0; i < count; ++i) { |
| 81,5 → 81,17 |
| va_end(args); |
| } |
| /** Prints a string. |
| * |
| * @param str String to print |
| */ |
| void debug_puts(const char *str) |
| { |
| while ( *str ) { |
| putc(*str); |
| str++; |
| } |
| } |
| /** @} |
| */ |