summaryrefslogtreecommitdiff
path: root/kern/eventcount.c
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-16 23:55:15 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-17 19:03:28 +0100
commit827c01fadb98e77f692d39d0fb34a1944e43c99b (patch)
tree46c60239eaddbcfb2f79195989c23b16c3ce55d8 /kern/eventcount.c
parentece37d66ae394a0d783f3cba8a71d7b61735b0aa (diff)
kern: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'kern/eventcount.c')
-rw-r--r--kern/eventcount.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/eventcount.c b/kern/eventcount.c
index aa3f1e3..1bc9968 100644
--- a/kern/eventcount.c
+++ b/kern/eventcount.c
@@ -98,7 +98,7 @@ evc_destroy(evc_t ev)
* Thread termination.
* HORRIBLE. This stuff needs to be fixed.
*/
-void evc_notify_abort(thread_t thread)
+void evc_notify_abort(const thread_t thread)
{
int i;
evc_t ev;