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