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