at91dbgu_cn_putc
void at91dbgu_cn_putc(dev_t, int);
at91dbgu_cn_probe, NULL, at91dbgu_cn_getc, at91dbgu_cn_putc, at91dbgu_cn_pollc, NULL,