db_jmpbuf         513 ddb/db_command.c 	label_t		db_jmpbuf;
db_jmpbuf         526 ddb/db_command.c 	db_recover = &db_jmpbuf;
db_jmpbuf         527 ddb/db_command.c 	(void) setjmp(&db_jmpbuf);