VIRTUAL_TO_REAL_PID   47 plugin/pid/pid.cpp   return VIRTUAL_TO_REAL_PID(virtualPid);
VIRTUAL_TO_REAL_PID   71 plugin/pid/pid.cpp   pid_t realPpid = VIRTUAL_TO_REAL_PID(virtPpid);
VIRTUAL_TO_REAL_PID   83 plugin/pid/pid.cpp   pid_t realPpid = VIRTUAL_TO_REAL_PID(virtPpid);
VIRTUAL_TO_REAL_PID   71 plugin/pid/pid_filewrappers.cpp       pid_t realPid = VIRTUAL_TO_REAL_PID(virtualPid);
VIRTUAL_TO_REAL_PID  128 plugin/pid/pid_miscwrappers.cpp     if (virtualTid != VIRTUAL_TO_REAL_PID(virtualTid)) {
VIRTUAL_TO_REAL_PID  224 plugin/pid/pid_miscwrappers.cpp   pid_t realPid = VIRTUAL_TO_REAL_PID(pid);
VIRTUAL_TO_REAL_PID  237 plugin/pid/pid_miscwrappers.cpp     sevp->_sigev_un._tid  = VIRTUAL_TO_REAL_PID(virtPid);
VIRTUAL_TO_REAL_PID  256 plugin/pid/pid_miscwrappers.cpp     n.sigev_notify_thread_id = VIRTUAL_TO_REAL_PID(n.sigev_notify_thread_id);
VIRTUAL_TO_REAL_PID  156 plugin/pid/pidwrappers.cpp   if (_real_getppid() != VIRTUAL_TO_REAL_PID(_dmtcp_ppid)) {
VIRTUAL_TO_REAL_PID  171 plugin/pid/pidwrappers.cpp   pid_t currPgrp = VIRTUAL_TO_REAL_PID(pgrp);
VIRTUAL_TO_REAL_PID  234 plugin/pid/pidwrappers.cpp   pid_t realPid = VIRTUAL_TO_REAL_PID (pid);
VIRTUAL_TO_REAL_PID  247 plugin/pid/pidwrappers.cpp   pid_t currPid = VIRTUAL_TO_REAL_PID (pid);
VIRTUAL_TO_REAL_PID  248 plugin/pid/pidwrappers.cpp   pid_t currPgid = VIRTUAL_TO_REAL_PID (pgid);
VIRTUAL_TO_REAL_PID  265 plugin/pid/pidwrappers.cpp     currPid = VIRTUAL_TO_REAL_PID (pid);
VIRTUAL_TO_REAL_PID  349 plugin/pid/pidwrappers.cpp   pid_t currPid = VIRTUAL_TO_REAL_PID (pid);
VIRTUAL_TO_REAL_PID  364 plugin/pid/pidwrappers.cpp   int realTid = VIRTUAL_TO_REAL_PID (tid);
VIRTUAL_TO_REAL_PID  379 plugin/pid/pidwrappers.cpp   int realTgid = VIRTUAL_TO_REAL_PID (tgid);
VIRTUAL_TO_REAL_PID  380 plugin/pid/pidwrappers.cpp   int realTid = VIRTUAL_TO_REAL_PID (tid);
VIRTUAL_TO_REAL_PID  430 plugin/pid/pidwrappers.cpp     pid_t currPid = VIRTUAL_TO_REAL_PID (id);
VIRTUAL_TO_REAL_PID  514 plugin/pid/pidwrappers.cpp     currPid = VIRTUAL_TO_REAL_PID(pid);
VIRTUAL_TO_REAL_PID  552 plugin/pid/pidwrappers.cpp   realPid = VIRTUAL_TO_REAL_PID(virtualPid);
VIRTUAL_TO_REAL_PID  592 plugin/pid/pidwrappers.cpp     pid_t virtualPid = VIRTUAL_TO_REAL_PID((pid_t) (unsigned long) arg_in);