DRD no longer prints the thread ID's assigned by the Valgrind core but only those assigned by DRD itself.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10488 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/drd/drd_semaphore.c b/drd/drd_semaphore.c
index b1dc958..b29856e 100644
--- a/drd/drd_semaphore.c
+++ b/drd/drd_semaphore.c
@@ -177,8 +177,7 @@
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d/%d] semaphore_init 0x%lx value %u\n",
- VG_(get_running_tid)(),
+ "[%d] semaphore_init 0x%lx value %u\n",
DRD_(thread_get_running_tid)(),
semaphore,
value);
@@ -219,8 +218,7 @@
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d/%d] semaphore_destroy 0x%lx value %u\n",
- VG_(get_running_tid)(),
+ "[%d] semaphore_destroy 0x%lx value %u\n",
DRD_(thread_get_running_tid)(),
semaphore,
p ? p->value : 0);
@@ -275,8 +273,7 @@
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d/%d] semaphore_wait 0x%lx value %u -> %u\n",
- VG_(get_running_tid)(),
+ "[%d] semaphore_wait 0x%lx value %u -> %u\n",
DRD_(thread_get_running_tid)(),
semaphore,
p ? p->value : 0,
@@ -340,8 +337,7 @@
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d/%d] semaphore_post 0x%lx value %u -> %u\n",
- VG_(get_running_tid)(),
+ "[%d] semaphore_post 0x%lx value %u -> %u\n",
DRD_(thread_get_running_tid)(),
semaphore,
p->value - 1, p->value);