_dmtcp_lock        92 nosyscallsreal.c void _dmtcp_lock() { pthread_mutex_lock (&theMutex); }
_dmtcp_lock        67 syscallsreal.c void _dmtcp_lock() { _real_pthread_mutex_lock (&theMutex); }