diff options
Diffstat (limited to 'kern/debug.c')
| -rw-r--r-- | kern/debug.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/debug.c b/kern/debug.c index b608d9ff..eec2f148 100644 --- a/kern/debug.c +++ b/kern/debug.c @@ -41,7 +41,7 @@ #include <device/cons.h> #if NCPUS>1 -simple_lock_data_t Assert_print_lock; /* uninited, we take our chances */ +simple_lock_irq_data_t Assert_print_lock; /* uninited, we take our chances */ #endif static void |