hdbg_cpu_mask    3998 src/dps8/dps8_sys.c     {"HDBG_CPU_MASK",      hdbg_cpu_mask,         0, "Set which CPUs to track (by mask)\n",                      NULL, NULL},
hdbg_cpu_mask      30 src/dps8/hdbg.h t_stat hdbg_cpu_mask (UNUSED int32 arg, const char * buf);