kgdb_active        64 kern/kgdb_stub.c int kgdb_active = 0;		/* remote debugging active if != 0 */
kgdb_active       340 kern/kgdb_stub.c 	if (kgdb_active == 0) {
kgdb_active       355 kern/kgdb_stub.c 		kgdb_active = 1;
kgdb_active       462 kern/kgdb_stub.c 			kgdb_active = 0;
kgdb_active       469 kern/kgdb_stub.c 			kgdb_active = 0;
kgdb_active       538 kern/kgdb_stub.c 		kgdb_connect(kgdb_active == 0);
kgdb_active        92 sys/kgdb.h     extern int kgdb_dev, kgdb_rate, kgdb_active;