label_t            59 arch/i386/i386/db_interface.c extern label_t	*db_recover;
label_t            62 ddb/db_command.c label_t		*db_recover;
label_t           513 ddb/db_command.c 	label_t		db_jmpbuf;
label_t           514 ddb/db_command.c 	label_t		*savejmp;
label_t            67 kern/kgdb_stub.c label_t *kgdb_recover = 0;
label_t           302 kern/kgdb_stub.c 	label_t jmpbuf;
label_t            94 sys/kgdb.h     extern label_t *kgdb_recover;
label_t           284 sys/systm.h    int	setjmp(label_t *);
label_t           285 sys/systm.h    void	longjmp(label_t *);