diff options
author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-16 23:55:19 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-17 19:05:21 +0100 |
commit | f533e173fccb40aac5c3e7f4f2277f3cdec5d029 (patch) | |
tree | 9b51a47a002008234412c2de21a3cab0109a32a6 /kern | |
parent | 13a3d2472961902e809bb90fc5adc6b7696f7db5 (diff) |
kern: avoid the casts in enqueue_head() and enqueue_tail()
* kern/eventcount.c (simpler_thread_setrun) (enqueue_head) (th): Avoid the cast.
* kern/thread.c (thread_halt_self) (enqueue_tail) (thread): Likewise.
* kern/thread_swap.c (thread_swapin) (enqueue_tail) (thread): Likewise.
Diffstat (limited to 'kern')
-rw-r--r-- | kern/eventcount.c | 2 | ||||
-rw-r--r-- | kern/thread.c | 2 | ||||
-rw-r--r-- | kern/thread_swap.c | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/kern/eventcount.c b/kern/eventcount.c index 22c4932..a9d7bd4 100644 --- a/kern/eventcount.c +++ b/kern/eventcount.c @@ -340,7 +340,7 @@ simpler_thread_setrun( whichq = (th)->sched_pri; simple_lock(&(rq)->lock); /* lock the run queue */ - enqueue_head(&(rq)->runq[whichq], (queue_entry_t) (th)); + enqueue_head(&(rq)->runq[whichq], &((th)->links)); if (whichq < (rq)->low || (rq)->count == 0) (rq)->low = whichq; /* minimize */ diff --git a/kern/thread.c b/kern/thread.c index ddb06d5..8474950 100644 --- a/kern/thread.c +++ b/kern/thread.c @@ -1149,7 +1149,7 @@ void thread_halt_self(void) s = splsched(); simple_lock(&reaper_lock); - enqueue_tail(&reaper_queue, (queue_entry_t) thread); + enqueue_tail(&reaper_queue, &(thread->links)); simple_unlock(&reaper_lock); thread_lock(thread); diff --git a/kern/thread_swap.c b/kern/thread_swap.c index 94e5c21..087c8bc 100644 --- a/kern/thread_swap.c +++ b/kern/thread_swap.c @@ -97,7 +97,7 @@ void thread_swapin(thread) thread->state = (thread->state & ~TH_SWAP_STATE) | TH_SW_COMING_IN; swapper_lock(); - enqueue_tail(&swapin_queue, (queue_entry_t) thread); + enqueue_tail(&swapin_queue, &(thread->links)); swapper_unlock(); thread_wakeup((event_t) &swapin_queue); break; |