| 74 | } |
| 75 | |
| 76 | void console_write_line(uint8_t *buffer, size_t number_of_bytes) |
| 77 | { |
| 78 | /* Finish displaying all of the console data if requested */ |
| 79 | if (number_of_bytes == 0) { |
| 80 | console_tx_flush(); |
| 81 | return; |
| 82 | } |
| 83 | |
| 84 | /* Output the console data */ |
| 85 | while (number_of_bytes--) |
| 86 | console_tx_byte(*buffer++); |
| 87 | } |
| 88 | |
| 89 | #if CONFIG(GDB_STUB) && (ENV_ROMSTAGE_OR_BEFORE || ENV_RAMSTAGE) |
| 90 | void gdb_hw_init(void) |
nothing calls this directly
no test coverage detected