From a9d931c84eb1887f94b3cb17638584b045f3ad9d Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 13 Aug 2023 01:48:22 +0200
Subject: lock: Fix SMP build

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

(limited to 'kern/debug.c')

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
-- 
cgit v1.2.3