plcom_kgdb_putc
void plcom_kgdb_putc (void *, int);
kgdb_attach(plcom_kgdb_getc, plcom_kgdb_putc, NULL);