db_inst_count      52 ddb/db_run.c   int		db_inst_count;
db_inst_count     157 ddb/db_run.c   			db_printf("[after %6d]     ", db_inst_count);
db_inst_count     197 ddb/db_run.c   		db_inst_count++;
db_inst_count     205 ddb/db_run.c   			db_inst_count++;
db_inst_count     255 ddb/db_run.c   	db_inst_count = 0;
db_inst_count     275 ddb/db_run.c   	db_inst_count = 0;
db_inst_count     295 ddb/db_run.c   	db_inst_count = 0;
db_inst_count     311 ddb/db_run.c   	db_inst_count = 0;
db_inst_count      39 ddb/db_run.h   extern	int db_inst_count;
db_inst_count      62 ddb/db_trap.c  		if (db_inst_count) {
db_inst_count      63 ddb/db_trap.c  			db_printf("After %d instructions ", db_inst_count);