if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d/%d] semaphore_init 0x%lx value %d",
+ "[%d/%d] semaphore_init 0x%lx value %ld",
VG_(get_running_tid)(),
thread_get_running_tid(),
semaphore,
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d/%d] semaphore_destroy 0x%lx value %d",
+ "[%d/%d] semaphore_destroy 0x%lx value %ld",
VG_(get_running_tid)(),
thread_get_running_tid(),
semaphore,
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d/%d] semaphore_pre_wait 0x%lx value %d",
+ "[%d/%d] semaphore_pre_wait 0x%lx value %ld",
VG_(get_running_tid)(),
thread_get_running_tid(),
semaphore,
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d/%d] semaphore_post_wait 0x%lx value %d",
+ "[%d/%d] semaphore_post_wait 0x%lx value %ld",
VG_(get_running_tid)(),
thread_get_running_tid(),
semaphore,
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d/%d] semaphore_post 0x%lx value %d",
+ "[%d/%d] semaphore_post 0x%lx value %ld",
VG_(get_running_tid)(),
thread_get_running_tid(),
semaphore,