From 94caac575b35aea8bb7b888f333625f33f2a7a42 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Mon, 20 Aug 2012 12:24:34 +0200 Subject: [PATCH] Compile warning fix --- base-okl4/src/base/lock/lock_helper.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base-okl4/src/base/lock/lock_helper.h b/base-okl4/src/base/lock/lock_helper.h index 2f14c27bda..b992330423 100644 --- a/base-okl4/src/base/lock/lock_helper.h +++ b/base-okl4/src/base/lock/lock_helper.h @@ -39,7 +39,7 @@ static inline void thread_yield() { Okl4::L4_Yield(); } * * \return true if the thread was in blocking state */ -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) { using namespace Okl4;