Rev 2328 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2328 | Rev 2329 | ||
---|---|---|---|
Line 36... | Line 36... | ||
36 | #include <printf/printf_core.h> |
36 | #include <printf/printf_core.h> |
37 | #include <arch/debug/print.h> |
37 | #include <arch/debug/print.h> |
38 | #include <arch/machine.h> |
38 | #include <arch/machine.h> |
39 | 39 | ||
40 | 40 | ||
41 | /** |
- | |
42 | * Prints a character to the console. |
41 | /** Prints a character to the console. |
43 | * |
42 | * |
44 | * @param ch Character to be printed. |
43 | * @param ch Character to be printed. |
45 | */ |
44 | */ |
46 | static void putc(char ch) |
45 | static void putc(char ch) |
47 | { |
46 | { |