/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++; |
} |
} |
/** @} |
*/ |