hevtMark          129 src/dps8/hdbg.c static long hevtMark = 0;
hevtMark          155 src/dps8/hdbg.c   if (hevtMark > 0) {
hevtMark          156 src/dps8/hdbg.c     long ret = __sync_fetch_and_sub (& hevtMark, 1l);
hevtMark          654 src/dps8/hdbg.c 
hevtMark          655 src/dps8/hdbg.c