_real_getppid      92 plugin/pid/pidwrappers.cpp   pid_t curRealPpid = _real_getppid();
_real_getppid     125 plugin/pid/pidwrappers.cpp                                                      _real_getppid());
_real_getppid     156 plugin/pid/pidwrappers.cpp   if (_real_getppid() != VIRTUAL_TO_REAL_PID(_dmtcp_ppid)) {
_real_getppid     162 plugin/pid/pidwrappers.cpp     _dmtcp_ppid = _real_getppid();
_real_getppid     178 plugin/pid/pidwrappers.h   pid_t _real_getppid(void);