virtualToReal     148 plugin/pid/virtualpidtable.cpp   pid_t retVal = VirtualIdTable<pid_t>::virtualToReal(id);
virtualToReal      40 plugin/pid/virtualpidtable.h   dmtcp::VirtualPidTable::instance().virtualToReal(pid)
virtualToReal      61 plugin/pid/virtualpidtable.h       pid_t virtualToReal(pid_t virtualId);
virtualToReal     316 plugin/svipc/sysvipc.cpp     return _virtIdTable.virtualToReal(virtId);
virtualToReal      77 plugin/timer/timerlist.h         return _timerVirtIdTable.virtualToReal(virtId);
virtualToReal      83 plugin/timer/timerlist.h         return _clockVirtIdTable.virtualToReal(virtId);