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);
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 int sirq_ready(sirq_t *port);
37 void sirq_vprintf(const char *fmt, va_list ap);
38 void sirq_printf(const char *fmt, ...);