ben               611 TSRM/TSRM.c    	mutexp->ben = 0;
ben               675 TSRM/TSRM.c    	if (atomic_add(&mutexp->ben, 1) != 0)  
ben               707 TSRM/TSRM.c    	if (atomic_add(&mutexp->ben, -1) != 1) 
ben                88 TSRM/TSRM.h      int32 ben;