static void lon9263_puts(const char *s) { return pxa_puts_dev(lon9263_INDEX,s); }
static void stuart_puts(const char *s) { return pxa_puts_dev(STUART_INDEX,s); }
void serial_puts(const char *s) { pxa_puts_dev(UART_INDEX,s); }
static void ffuart_puts(const char *s) { return pxa_puts_dev(FFUART_INDEX,s); }