debug-uart.h

00001 #ifndef __DEBUG_UART_H__1V2039076V__
00002 #define __DEBUG_UART_H__1V2039076V__
00003 
00004 
00005 void
00006 dbg_setup_uart();
00007 
00008 void
00009 dbg_set_input_handler(void (*handler)(const char *inp, unsigned int len));
00010 
00011 unsigned int
00012 dbg_send_bytes(const unsigned char *seq, unsigned int len);
00013 
00014 #if 0
00015 void
00016 dbg_printf(const char *format, ...)
00017      __attribute__ ((__format__ (__printf__, 1,2)));
00018      
00019 void
00020 dbg_blocking_printf(const char *format, ...)
00021      __attribute__ ((__format__ (__printf__, 1,2)));
00022 #endif
00023      
00024 void
00025 dbg_putchar(const char ch);
00026 
00027 void
00028 dbg_blocking_putchar(const char ch);
00029 
00030 void
00031 dbg_drain();
00032 
00033 #endif /* __DEBUG_UART_H__1V2039076V__ */