hdbgIntrSet        52 src/dps8/hdbg.h void hdbgIntrSet (uint inum, uint cpuUnitIdx, uint scuUnitIdx, const char * ctx);
hdbgIntrSet       111 src/dps8/hdbg.h #  define HDBGIntrSet(i, c, s, ctx) hdbgIntrSet(i, c, s, ctx)