diff options
Diffstat (limited to 'kern/sched_prim.c')
| -rw-r--r-- | kern/sched_prim.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/kern/sched_prim.c b/kern/sched_prim.c index dd0f492b..aca96038 100644 --- a/kern/sched_prim.c +++ b/kern/sched_prim.c @@ -66,7 +66,7 @@ unsigned sched_tick; thread_t sched_thread_id; -timer_elt_data_t recompute_priorities_timer; +timeout_data_t recompute_priorities_timer; /* * State machine @@ -167,8 +167,6 @@ static void thread_timeout( void *_thread) { thread_t thread = _thread; - assert(thread->timer.set == TELT_UNSET); - clear_wait(thread, THREAD_TIMED_OUT, FALSE); } |