void uart1_puts(char *s);
void uart2_puts(char *s);
+void uart1_myputc(char c);
+void uart2_myputc(char c);
int uart1_rcvbuf_is_data(void);
+int uart2_rcvbuf_is_data(void);
int uart1_rcvbuf_getc(void);
+int uart2_rcvbuf_getc(void);
void uart1_rcvbuf_clear(void);
+void uart2_rcvbuf_clear(void);
void uart1_init(unsigned int mode, unsigned int sts, unsigned int baud);
void uart2_init(unsigned int mode, unsigned int sts, unsigned int baud);