summaryrefslogtreecommitdiff
path: root/kern
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-05 22:03:50 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-09 00:20:27 +0900
commit99adfa5d7753ed949114be5fb1b8ffecfdf067e1 (patch)
treee9c3e2254e322c77f890b4795fb035110ccc1f55 /kern
parent9003ab643c4fe5a54090c86fd4b8305c80f1e9bb (diff)
kern/lock_mon.c: use spl_t instead of an int
Variable curr_ipl is in other files declared as spl_t. * kern/lock_mon.c (curr_ipl): Use spl_t instead of an int.
Diffstat (limited to 'kern')
-rw-r--r--kern/lock_mon.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/lock_mon.c b/kern/lock_mon.c
index 80c50b5..231b530 100644
--- a/kern/lock_mon.c
+++ b/kern/lock_mon.c
@@ -85,7 +85,7 @@ struct lock_info_bucket lock_info[LOCK_INFO_HASH_COUNT];
struct lock_info default_lock_info;
unsigned default_lock_stack = 0;
-extern int curr_ipl[];
+extern spl_t curr_ipl[];