[PATCH 56/66] kern/lock_mon.c: use spl_t instead of an int

[Marin Ramesa]

Variable curr_ipl is in other files declared as spl_t.

* kern/lock_mon.c (curr_ipl): Use spl_t instead of an int.

---
 kern/lock_mon.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kern/lock_mon.c b/kern/lock_mon.c
index 0f86735..d126c69 100644
--- a/kern/lock_mon.c
+++ b/kern/lock_mon.c
@@ -84,7 +84,7 @@ struct lock_info_bucket {
 struct lock_info_bucket lock_info[LOCK_INFO_HASH_COUNT];
 struct lock_info default_lock_info;
 
-extern int curr_ipl[];
+extern spl_t curr_ipl[];
 
 
 
-- 
1.8.1.4