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/printf.h | |
| 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/printf.h')
0 files changed, 0 insertions, 0 deletions