Searched refs:db_jmpbuf (Results 1 – 1 of 1) sorted by relevance
592 label_t db_jmpbuf; in db_command_loop() local609 db_recover = &db_jmpbuf; in db_command_loop()617 if (setjmp(&db_jmpbuf) == 0) in db_command_loop()621 (void) setjmp(&db_jmpbuf); in db_command_loop()