PROTECTED_PIDMAP_FD  137 plugin/pid/pid.cpp   if (!Util::isValidFd(PROTECTED_PIDMAP_FD)) {
PROTECTED_PIDMAP_FD  140 plugin/pid/pid.cpp     JASSERT (dup2 (fd, PROTECTED_PIDMAP_FD) == PROTECTED_PIDMAP_FD)
PROTECTED_PIDMAP_FD  163 plugin/pid/pid.cpp   VirtualPidTable::instance().writeMapsToFile(PROTECTED_PIDMAP_FD);
PROTECTED_PIDMAP_FD  168 plugin/pid/pid.cpp   VirtualPidTable::instance().readMapsFromFile(PROTECTED_PIDMAP_FD);
PROTECTED_PIDMAP_FD  169 plugin/pid/pid.cpp   dmtcp_close_protected_fd(PROTECTED_PIDMAP_FD);