db_load_count      53 ddb/db_run.c   int		db_load_count;
db_load_count     198 ddb/db_run.c   		db_load_count += inst_load(ins);
db_load_count     206 ddb/db_run.c   			db_load_count += inst_load(ins);
db_load_count     256 ddb/db_run.c   	db_load_count = 0;
db_load_count     276 ddb/db_run.c   	db_load_count = 0;
db_load_count     296 ddb/db_run.c   	db_load_count = 0;
db_load_count     312 ddb/db_run.c   	db_load_count = 0;
db_load_count      40 ddb/db_run.h   extern	int db_load_count;
db_load_count      64 ddb/db_trap.c  			db_printf("(%d loads, %d stores),\n", db_load_count,