get_dbg_verb     4731 src/dps8/dps8_cpu.c         const char * debug_type = get_dbg_verb (dbits, dptr);
get_dbg_verb      402 src/simh/scp.c static const char *get_dbg_verb (uint32 dbits, DEVICE* dptr);
get_dbg_verb     10022 src/simh/scp.c                    exp->dptr->debflags ? get_dbg_verb (exp->dbit, exp->dptr) : "");
get_dbg_verb     10240 src/simh/scp.c                    snd->dptr->debflags ? get_dbg_verb (snd->dbit, snd->dptr) : "");
get_dbg_verb     10348 src/simh/scp.c const char* debug_type = get_dbg_verb (dbits, dptr);