Searched refs:db_jmpbuf (Results 1 – 2 of 2) sorted by relevance
58 label_t db_jmpbuf; local81 db_recover = &db_jmpbuf;82 if (setjmp(&db_jmpbuf) == 0)
505 label_t db_jmpbuf; in db_command_loop() local518 db_recover = &db_jmpbuf; in db_command_loop()519 (void) setjmp(&db_jmpbuf); in db_command_loop()