get_dbg_verb     4772 src/dps8/dps8_cpu.c         const char * debug_type = get_dbg_verb (dbits, dptr);
get_dbg_verb      400 src/simh/scp.c static const char *get_dbg_verb (uint32 dbits, DEVICE* dptr);
get_dbg_verb     10013 src/simh/scp.c                    exp->dptr->debflags ? get_dbg_verb (exp->dbit, exp->dptr) : "");
get_dbg_verb     10231 src/simh/scp.c                    snd->dptr->debflags ? get_dbg_verb (snd->dbit, snd->dptr) : "");
get_dbg_verb     10339 src/simh/scp.c const char* debug_type = get_dbg_verb (dbits, dptr);