setjmp            527 ddb/db_command.c 	(void) setjmp(&db_jmpbuf);
setjmp            369 kern/kgdb_stub.c 	(void)setjmp((kgdb_recover = &jmpbuf));
setjmp            284 sys/systm.h    int	setjmp(label_t *);