| 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); |
| 88,7 → 87,7 |
|---|
| */ |
| void debug_puts(const char *str) |
| { |
| while ( *str ) { |
| while (*str) { |
| putc(*str); |
| str++; |
| } |