From 989f662f46064954005d0b38588f994e96e9943f Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 12 Mar 2013 19:33:28 +0100 Subject: [PATCH] base-host: Adaptation to changed lock-internal API --- base-host/src/base/lock/lock_helper.h | 23 +++-------------------- 1 file changed, 3 insertions(+), 20 deletions(-) diff --git a/base-host/src/base/lock/lock_helper.h b/base-host/src/base/lock/lock_helper.h index 61298d89f3..f9bb270185 100644 --- a/base-host/src/base/lock/lock_helper.h +++ b/base-host/src/base/lock/lock_helper.h @@ -16,36 +16,19 @@ /* Genode includes */ #include +#include static inline void thread_yield() { } -static bool thread_check_stopped_and_restart(Genode::Native_thread_id tid) +static bool thread_check_stopped_and_restart(Genode::Thread_base *) { return true; } -static inline Genode::Native_thread_id thread_get_my_native_id() -{ - return -1; -} - - -static inline Genode::Native_thread_id thread_invalid_id() -{ - return -1; -} - - -static inline bool thread_id_valid(Genode::Native_thread_id tid) -{ - return false; -} - - -static inline void thread_switch_to(Genode::Native_thread_id tid) +static inline void thread_switch_to(Genode::Thread_base *) { }