KGDBDEV            55 kern/kgdb_stub.c #ifndef KGDBDEV
KGDBDEV            62 kern/kgdb_stub.c int kgdb_dev = KGDBDEV;		/* remote debugging device (-1 if none) */