hdbgCPUMask       135 src/dps8/hdbg.c static long hdbgCPUMask = 0;
hdbgCPUMask       173 src/dps8/hdbg.c   if (hdbgCPUMask && (hdbgCPUMask & (1 << current_running_cpu_idx))) \
hdbgCPUMask       678 src/dps8/hdbg.c     hdbgCPUMask = strtoul (buf, NULL, 0);
hdbgCPUMask       679 src/dps8/hdbg.c     sim_printf ("hdbg CPU mask set to %ld\n", (long) hdbgCPUMask);