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          679 src/dps8/hdbg.c 
hevtMark          680 src/dps8/hdbg.c