kgdb_recover       67 kern/kgdb_stub.c label_t *kgdb_recover = 0;
kgdb_recover      313 kern/kgdb_stub.c 	if (kgdb_recover != 0) {
kgdb_recover      317 kern/kgdb_stub.c 		longjmp(kgdb_recover);
kgdb_recover      369 kern/kgdb_stub.c 	(void)setjmp((kgdb_recover = &jmpbuf));
kgdb_recover      502 kern/kgdb_stub.c 	kgdb_recover = 0;
kgdb_recover       94 sys/kgdb.h     extern label_t *kgdb_recover;