hevtMark 133 src/dps8/hdbg.c static long hevtMark = 0; hevtMark 163 src/dps8/hdbg.c if (hevtMark > 0) { hevtMark 164 src/dps8/hdbg.c long ret = __sync_fetch_and_sub (& hevtMark, 1l); hevtMark 676 src/dps8/hdbg.c hevtMark 677 src/dps8/hdbg.c