hdbgIntr           47 src/dps8/hdbg.h void hdbgIntr (uint intr_pair_addr, const char * ctx);
hdbgIntr           96 src/dps8/hdbg.h #  define HDBGIntr(i, c) hdbgIntr(i, c)