scncnputc
kgdb_attach(scncngetc, scncnputc, kgdb_dev);
void scncnputc(dev_t, int);
scncnputc,
scncnputc(dev, '\r');