virtPpidstr        62 plugin/pid/pidwrappers.cpp   char *virtPpidstr = NULL;
virtPpidstr        73 plugin/pid/pidwrappers.cpp   _dmtcp_pid = strtol(pidstr, &virtPpidstr, 10);
virtPpidstr        76 plugin/pid/pidwrappers.cpp   if (virtPpidstr[0] != ':' && !isdigit(virtPpidstr[1])) {
virtPpidstr        82 plugin/pid/pidwrappers.cpp   virtPpid = strtol(virtPpidstr + 1, &realPpidstr, 10);