| 65 | } |
| 66 | |
| 67 | void console_tx_flush(void) |
| 68 | { |
| 69 | __uart_tx_flush(); |
| 70 | __ne2k_tx_flush(); |
| 71 | __usb_tx_flush(); |
| 72 | __flashconsole_tx_flush(); |
| 73 | __system76_ec_tx_flush(); |
| 74 | } |
| 75 | |
| 76 | void console_write_line(uint8_t *buffer, size_t number_of_bytes) |
| 77 | { |
no test coverage detected