get_dbg_verb     4355 src/dps8/dps8_cpu.c         const char * debug_type = get_dbg_verb (dbits, dptr);
get_dbg_verb      315 src/simh/scp.c static const char *get_dbg_verb (uint32 dbits, DEVICE* dptr);
get_dbg_verb     9224 src/simh/scp.c     fprintf (st, "Debugging via: SET %s DEBUG%s%s\n", sim_dname(exp->dptr), exp->dptr->debflags ? "=" : "", exp->dptr->debflags ? get_dbg_verb (exp->dbit, exp->dptr) : "");
get_dbg_verb     9427 src/simh/scp.c     fprintf (st, "Debugging via: SET %s DEBUG%s%s\n", sim_dname(snd->dptr), snd->dptr->debflags ? "=" : "", snd->dptr->debflags ? get_dbg_verb (snd->dbit, snd->dptr) : "");
get_dbg_verb     9530 src/simh/scp.c const char* debug_type = get_dbg_verb (dbits, dptr);