Use ptid_t.tid to store thread ids instead of ptid_t.pid.
This page took 0.057021 seconds and 3 git commands to generate.