Fix warning

This commit is contained in:
Norman Feske 2012-10-10 09:22:31 +02:00
parent 5a1c47e943
commit 8b0ad007ca

View File

@ -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() :