From f4cb9101a473c5737485a4905f0c1a80c76e446e Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Thu, 19 Mar 2015 18:10:03 +0100 Subject: [PATCH] hw: Fix format string for 64 bit platforms Use the format specifier of the largest possible type and cast the value to the chosen type. This avoids compiler warnings on x86_64. --- repos/base-hw/src/core/kernel/thread.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base-hw/src/core/kernel/thread.cc b/repos/base-hw/src/core/kernel/thread.cc index f7fd73c6d..12c2eee7a 100644 --- a/repos/base-hw/src/core/kernel/thread.cc +++ b/repos/base-hw/src/core/kernel/thread.cc @@ -384,8 +384,8 @@ void Thread::_call_send_request_msg() { Thread * const dst = Thread::pool()->object(user_arg_1()); if (!dst) { - PWRN("%s -> %s: cannot send to unknown recipient %u", - pd_label(), label(), user_arg_1()); + PWRN("%s -> %s: cannot send to unknown recipient %llu", + pd_label(), label(), (unsigned long long)user_arg_1()); _become_inactive(AWAITS_IPC); return; }