get_dbg_verb     4472 src/dps8/dps8_cpu.c         const char * debug_type = get_dbg_verb (dbits, dptr);
get_dbg_verb      386 src/simh/scp.c static const char *get_dbg_verb (uint32 dbits, DEVICE* dptr);
get_dbg_verb     9817 src/simh/scp.c                    exp->dptr->debflags ? get_dbg_verb (exp->dbit, exp->dptr) : "");
get_dbg_verb     10035 src/simh/scp.c                    snd->dptr->debflags ? get_dbg_verb (snd->dbit, snd->dptr) : "");
get_dbg_verb     10143 src/simh/scp.c const char* debug_type = get_dbg_verb (dbits, dptr);