Lines Matching full:getpid
1341 VG_(sprintf)(buf, "pid: %d\n", VG_(getpid)());1686 int currentPID = VG_(getpid)();