summaryrefslogtreecommitdiff
path: root/kern
diff options
context:
space:
mode:
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[];