_dmtcp_unlock      93 nosyscallsreal.c void _dmtcp_unlock() { pthread_mutex_unlock (&theMutex); }
_dmtcp_unlock      68 syscallsreal.c void _dmtcp_unlock() { _real_pthread_mutex_unlock (&theMutex); }