diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-05 22:03:50 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-09 00:20:27 +0900 |
| commit | 99adfa5d7753ed949114be5fb1b8ffecfdf067e1 (patch) | |
| tree | e9c3e2254e322c77f890b4795fb035110ccc1f55 /kern | |
| parent | 9003ab643c4fe5a54090c86fd4b8305c80f1e9bb (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.c | 2 |
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[]; |