From 8b0ad007cafbd02217d3cb5a630da2254d46fd7a Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 10 Oct 2012 09:22:31 +0200 Subject: [PATCH] Fix warning --- base-nova/src/base/lock/lock_helper.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base-nova/src/base/lock/lock_helper.h b/base-nova/src/base/lock/lock_helper.h index 5222d81570..15f8efd1cf 100644 --- a/base-nova/src/base/lock/lock_helper.h +++ b/base-nova/src/base/lock/lock_helper.h @@ -44,7 +44,7 @@ Genode::Thread_base * __attribute__((weak)) Genode::Thread_base::myself() static inline void thread_yield() { } -static bool thread_check_stopped_and_restart(Genode::Native_thread_id tid) +static inline bool thread_check_stopped_and_restart(Genode::Native_thread_id tid) { Genode::addr_t sem = (tid.ec_sel == 0 && tid.exc_pt_sel == 0) ? main_thread_running_semaphore() :