hevtMark          132 src/dps8/hdbg.c static long hevtMark = 0;
hevtMark          158 src/dps8/hdbg.c   if (hevtMark > 0) {
hevtMark          159 src/dps8/hdbg.c     long ret = __sync_fetch_and_sub (& hevtMark, 1l);
hevtMark          671 src/dps8/hdbg.c 
hevtMark          672 src/dps8/hdbg.c