Searched refs:db_inst_count (Results 1 – 3 of 3) sorted by relevance
64 int db_inst_count; variable155 db_printf("[after %6d] ", db_inst_count);199 db_inst_count++;207 db_inst_count++;321 db_inst_count = 0;344 db_inst_count = 0;367 db_inst_count = 0;387 db_inst_count = 0;
213 if (db_inst_count) { in db_trap()215 db_inst_count, db_load_count, db_store_count); in db_trap()
173 extern int db_inst_count;