diff --git a/kernel/printk/printk.c b/kernel/printk/printk.c
index e4328bc341f34c55d9fe07d3a046761347362ec7..69a1be81dd98b7c888db7fe1fc1e2ce61510ba88 100644
--- a/kernel/printk/printk.c
+++ b/kernel/printk/printk.c
@@ -1755,6 +1755,8 @@ void zap_locks(void)
 
 	console_owner = NULL;
 	console_waiter = false;
+
+	sema_init(&console_sem, 1);
 }
 
 /**