33,10 → 33,12 |
* @brief Debug print functions. |
*/ |
|
|
#include <printf/printf_core.h> |
#include <arch/debug/print.h> |
#include <arch/machine.h> |
|
|
/** Prints a character to the console. |
* |
* @param ch Character to be printed. |
46,6 → 48,7 |
machine_debug_putc(ch); |
} |
|
|
/** Prints a string to the console. |
* |
* @param str String to be printed. |
63,6 → 66,7 |
return i; |
} |
|
|
/** Prints a formated string. |
* |
* @param fmt "Printf-like" format. |
72,10 → 76,7 |
va_list args; |
va_start (args, fmt); |
|
struct printf_spec ps = { |
(int (*)(void *, size_t, void *)) debug_write, |
NULL |
}; |
struct printf_spec ps = { (int(*)(void *, size_t, void *)) debug_write, NULL }; |
printf_core(fmt, &ps, args); |
|
va_end(args); |
87,7 → 88,7 |
*/ |
void debug_puts(const char *str) |
{ |
while (*str) { |
while ( *str ) { |
putc(*str); |
str++; |
} |