virtualTid         88 plugin/pid/pid_miscwrappers.cpp   pid_t virtualTid;
virtualTid         99 plugin/pid/pid_miscwrappers.cpp   pid_t virtualTid = threadArg -> virtualTid;
virtualTid        102 plugin/pid/pid_miscwrappers.cpp     dmtcpResetTid(virtualTid);
virtualTid        105 plugin/pid/pid_miscwrappers.cpp   VirtualPidTable::instance().updateMapping(virtualTid, _real_gettid());
virtualTid        108 plugin/pid/pid_miscwrappers.cpp   JTRACE("Calling user function") (virtualTid);
virtualTid        121 plugin/pid/pid_miscwrappers.cpp   pid_t virtualTid = -1;
virtualTid        127 plugin/pid/pid_miscwrappers.cpp     virtualTid           = mtcpRestartThreadArg -> virtualTid;
virtualTid        128 plugin/pid/pid_miscwrappers.cpp     if (virtualTid != VIRTUAL_TO_REAL_PID(virtualTid)) {
virtualTid        132 plugin/pid/pid_miscwrappers.cpp     virtualTid = VirtualPidTable::instance().getNewVirtualTid();
virtualTid        133 plugin/pid/pid_miscwrappers.cpp     VirtualPidTable::instance().writeVirtualTidToFileForPtrace(virtualTid);
virtualTid        145 plugin/pid/pid_miscwrappers.cpp   threadArg->virtualTid = virtualTid;
virtualTid        169 plugin/pid/pid_miscwrappers.cpp     virtualTid = tid;
virtualTid        173 plugin/pid/pid_miscwrappers.cpp   return virtualTid;
virtualTid        694 threadlist.cpp       mtcpRestartThreadArg.virtualTid = thread->virtual_tid;
virtualTid         46 threadwrappers.cpp   pid_t virtualTid;
virtualTid        143 threadwrappers.cpp   pid_t virtualTid = threadArg->virtualTid;
virtualTid        160 threadwrappers.cpp   JTRACE("Thread returned") (virtualTid);