releaseLocks      532 dmtcpworker.cpp   ThreadSync::releaseLocks();
releaseLocks       57 threadsync.h       void releaseLocks();