jmpbuf            302 kern/kgdb_stub.c 	label_t jmpbuf;
jmpbuf            369 kern/kgdb_stub.c 	(void)setjmp((kgdb_recover = &jmpbuf));