2020-04-02 23:48:27 +02:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2014-02-27 18:30:18 +01:00
|
|
|
|
|
|
|
#ifndef _CONSOLE_STREAMS_H_
|
|
|
|
#define _CONSOLE_STREAMS_H_
|
|
|
|
|
2016-08-09 17:59:30 +02:00
|
|
|
#include <stddef.h>
|
|
|
|
#include <stdint.h>
|
|
|
|
|
2014-02-27 18:30:18 +01:00
|
|
|
void console_hw_init(void);
|
|
|
|
void console_tx_byte(unsigned char byte);
|
|
|
|
void console_tx_flush(void);
|
|
|
|
|
2016-08-09 17:59:30 +02:00
|
|
|
/*
|
|
|
|
* Write number_of_bytes data bytes from buffer to the serial device.
|
|
|
|
* If number_of_bytes is zero, wait until all serial data is output.
|
|
|
|
*/
|
|
|
|
void console_write_line(uint8_t *buffer, size_t number_of_bytes);
|
|
|
|
|
2014-04-04 14:05:28 +02:00
|
|
|
/* For remote GDB debugging. */
|
|
|
|
void gdb_hw_init(void);
|
|
|
|
void gdb_tx_byte(unsigned char byte);
|
|
|
|
void gdb_tx_flush(void);
|
|
|
|
unsigned char gdb_rx_byte(void);
|
|
|
|
|
2014-02-27 18:30:18 +01:00
|
|
|
#endif /* _CONSOLE_STREAMS_H_ */
|