realToVirtual     123 plugin/pid/virtualpidtable.cpp     return VirtualIdTable<pid_t>::realToVirtual(realPid);
realToVirtual      38 plugin/pid/virtualpidtable.h   dmtcp::VirtualPidTable::instance().realToVirtual(pid)
realToVirtual      60 plugin/pid/virtualpidtable.h       pid_t realToVirtual(pid_t realPid);
realToVirtual     326 plugin/svipc/sysvipc.cpp     return _virtIdTable.realToVirtual(realId);
realToVirtual      80 plugin/timer/timerlist.h         return _timerVirtIdTable.realToVirtual(realId);