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