gtmpsc_kgdb_putc
STATIC void gtmpsc_kgdb_putc(void *, int);
kgdb_attach(gtmpsc_kgdb_getc, gtmpsc_kgdb_putc, NULL);