sscom_kgdb_putc
kgdb_attach(sscom_kgdb_getc, sscom_kgdb_putc, NULL);
void sscom_kgdb_putc (void *, int);