timerExpired      450 dmtcp_coordinator.cpp static bool timerExpired = false;
timerExpired     1573 dmtcp_coordinator.cpp     timerExpired = true;
timerExpired     1695 dmtcp_coordinator.cpp     if (nfds == -1 && errno == EINTR && timerExpired) {
timerExpired     1696 dmtcp_coordinator.cpp       timerExpired = false;