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