kgdb_putc          80 kern/kgdb_stub.c static void (*kgdb_putc)(void *, int);
kgdb_putc          87 kern/kgdb_stub.c #define PUTC(c)	((*kgdb_putc)(kgdb_ioarg, c))
kgdb_putc         288 kern/kgdb_stub.c 	kgdb_putc = putfn;