| 26,16 → 26,22 |
|---|
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| /** @addtogroup arm32 |
| * @{ |
| */ |
| /** @file |
| */ |
| |
| |
| #include <printf/printf_core.h> |
| #include <arch/debug_print/print.h> |
| #include <arch/debug/print.h> |
| #include <arch/machine.h> |
| |
| |
| /** |
| * Prints a character to console. |
| * Prints a character to the console. |
| * |
| * @param ch character to be printed |
| * @param ch Character to be printed. |
| */ |
| static void putc(char ch) |
| { |
| 42,7 → 48,16 |
|---|
| machine_debug_putc(ch); |
| } |
| |
| int debug_write(const char *str, size_t count, void *unused) |
| |
| /** Prints a string to the console. |
| * |
| * @param str String to be printed. |
| * @param count Number of characters to be printed. |
| * @param unused Unused parameter. |
| * |
| * @return Number of printed characters. |
| */ |
| static int debug_write(const char *str, size_t count, void *unused) |
| { |
| int i; |
| for (i = 0; i < count; ++i) { |
| 51,6 → 66,11 |
|---|
| return i; |
| } |
| |
| |
| /** Prints a formated string. |
| * |
| * @param fmt "Printf-like" format. |
| */ |
| void debug_printf(const char *fmt, ...) |
| { |
| va_list args; |
| 62,4 → 82,5 |
|---|
| va_end(args); |
| } |
| |
| |
| /** @} |
| */ |