13 #define SIRQ_NUM_UART 3
23 typedef struct sirq_t sirq_t;
26 sirq_t *sirq_open(sirq_uart_t uart, PinName tx, PinName rx, int baud, int buffered);
29 void sirq_putc(sirq_t *port, int byte);
30 int sirq_getc(sirq_t *port);
31 void sirq_write(sirq_t *port, void *data, int len);
34 void sirq_transmit(sirq_t *port);
37 int sirq_ready(sirq_t *port);
40 void sirq_debug(sirq_t *port);
43 void sirq_vprintf(const char *fmt, va_list ap);
44 void sirq_printf(const char *fmt, ...);