diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-16 23:55:15 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-17 19:03:28 +0100 |
| commit | 827c01fadb98e77f692d39d0fb34a1944e43c99b (patch) | |
| tree | 46c60239eaddbcfb2f79195989c23b16c3ce55d8 /kern/sched_prim.c | |
| parent | ece37d66ae394a0d783f3cba8a71d7b61735b0aa (diff) | |
kern: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'kern/sched_prim.c')
| -rw-r--r-- | kern/sched_prim.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kern/sched_prim.c b/kern/sched_prim.c index 8aad146..f817004 100644 --- a/kern/sched_prim.c +++ b/kern/sched_prim.c @@ -358,7 +358,7 @@ void clear_wait( } static inline void __attribute__((noreturn)) -state_panic(thread_t thread, const char *caller) +state_panic(const thread_t thread, const char *caller) { panic ("%s: thread %x has unexpected state %x", caller, thread, thread->state); @@ -1076,7 +1076,7 @@ void compute_my_priority( * * Update the priorities of all threads periodically. */ -void recompute_priorities(void *param) +void recompute_priorities(const void *param) { #if SIMPLE_CLOCK int new_usec; @@ -1990,7 +1990,7 @@ void do_thread_scan(void) #if DEBUG void checkrq( run_queue_t rq, - char *msg) + const char *msg) { queue_t q1; int i, j; |