hdbgCPUMask       136 src/dps8/hdbg.c static long hdbgCPUMask = 0;
hdbgCPUMask       178 src/dps8/hdbg.c   if (hdbgCPUMask && (hdbgCPUMask & (1 << current_running_cpu_idx))) \
hdbgCPUMask       683 src/dps8/hdbg.c     hdbgCPUMask = strtoul (buf, NULL, 0);
hdbgCPUMask       684 src/dps8/hdbg.c     sim_printf ("hdbg CPU mask set to %ld\r\n", (long) hdbgCPUMask);