33,12 → 33,10 |
* @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. |
48,7 → 46,6 |
machine_debug_putc(ch); |
} |
|
|
/** Prints a string to the console. |
* |
* @param str String to be printed. |
66,7 → 63,6 |
return i; |
} |
|
|
/** Prints a formated string. |
* |
* @param fmt "Printf-like" format. |
76,7 → 72,10 |
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); |