get_dbg_verb     4678 src/dps8/dps8_cpu.c         const char * debug_type = get_dbg_verb (dbits, dptr);
get_dbg_verb      390 src/simh/scp.c static const char *get_dbg_verb (uint32 dbits, DEVICE* dptr);
get_dbg_verb     9883 src/simh/scp.c                    exp->dptr->debflags ? get_dbg_verb (exp->dbit, exp->dptr) : "");
get_dbg_verb     10101 src/simh/scp.c                    snd->dptr->debflags ? get_dbg_verb (snd->dbit, snd->dptr) : "");
get_dbg_verb     10209 src/simh/scp.c const char* debug_type = get_dbg_verb (dbits, dptr);