xlcom_kgdb_putc
static void xlcom_kgdb_putc(void *, int);
kgdb_attach(xlcom_kgdb_getc, xlcom_kgdb_putc, NULL);