2013-11-24 15:57:08 +00:00
|
|
|
#ifndef DEBUG_UART_H_1V2039076V__
|
|
|
|
|
#define DEBUG_UART_H_1V2039076V__
|
2009-07-11 14:22:45 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
dbg_setup_uart();
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
dbg_set_input_handler(void (*handler)(const char *inp, unsigned int len));
|
|
|
|
|
|
|
|
|
|
unsigned int
|
|
|
|
|
dbg_send_bytes(const unsigned char *seq, unsigned int len);
|
|
|
|
|
|
|
|
|
|
#if 0
|
|
|
|
|
void
|
|
|
|
|
dbg_printf(const char *format, ...)
|
|
|
|
|
__attribute__ ((__format__ (__printf__, 1,2)));
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
dbg_blocking_printf(const char *format, ...)
|
|
|
|
|
__attribute__ ((__format__ (__printf__, 1,2)));
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
dbg_putchar(const char ch);
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
dbg_blocking_putchar(const char ch);
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
dbg_drain();
|
|
|
|
|
|
2013-11-24 15:57:08 +00:00
|
|
|
#endif /* DEBUG_UART_H_1V2039076V__ */
|
