[PATCH gnumach 1/3] kern: fix type of recompute_priorities

[Justus Winter]

* kern/sched_prim.c (recompute_priorities): Fix type.
* kern/sched_prim.h (recompute_priorities): Likewise.
---
 kern/sched_prim.c | 2 +-
 kern/sched_prim.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kern/sched_prim.c b/kern/sched_prim.c
index 1d2e14e..66eb9c9 100644
--- a/kern/sched_prim.c
+++ b/kern/sched_prim.c
@@ -1076,7 +1076,7 @@ void compute_my_priority(
  *
  *     Update the priorities of all threads periodically.
  */
-void recompute_priorities(const void *param)
+void recompute_priorities(void *param)
 {
 #if    SIMPLE_CLOCK
        int     new_usec;
diff --git a/kern/sched_prim.h b/kern/sched_prim.h
index 8c62b8b..fd989b6 100644
--- a/kern/sched_prim.h
+++ b/kern/sched_prim.h
@@ -103,7 +103,7 @@ extern boolean_t thread_handoff(
        thread_t        old_thread,
        continuation_t  continuation,
        thread_t        new_thread);
-extern void    recompute_priorities(const void *param);
+extern void    recompute_priorities(void *param);
 extern void    update_priority(
        thread_t        thread);
 extern void    compute_my_priority(
-- 
2.1.0