sbscn_kgdb_putc
kgdb_attach(sbscn_kgdb_getc, sbscn_kgdb_putc, NULL);
void sbscn_kgdb_putc(void *, int);