get_dbg_verb     4326 src/dps8/dps8_cpu.c static const char * get_dbg_verb (uint32 dbits, DEVICE * dptr)
get_dbg_verb     9502 src/simh/scp.c static const char *get_dbg_verb (uint32 dbits, DEVICE* dptr)