kgdb_putc
kgdb_attach(kgdb_getc, kgdb_putc, 0);
kgdb_putc = putfn;
static void (*kgdb_putc)(void *, int);
#define PUTC(c) (*kgdb_putc)(kgdb_ioarg, c)