diff options
| author | Damien Zammit <damien@zamaudio.com> | 2023-07-28 21:50:16 +1000 |
|---|---|---|
| committer | Damien Zammit <damien@zamaudio.com> | 2023-08-02 20:33:05 +1000 |
| commit | ed491e029999be79967e1b03d44d4c4d6546969d (patch) | |
| tree | 74e98ce0c276c6f68bd001cfedf95582ddbd938f /kern/sched_prim.c | |
| parent | 3aca429f24dcb0f8c725bd2480bc112a8ff55d5a (diff) | |
mach_clock: Use a callwheel structure as per Costello & Varghese 1995callwheel
Boots to userspace but netdde freezes trying to bring up eth0
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); } |