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