diff --git a/kernel/printk/printk.c b/kernel/printk/printk.c index bf58d5777bced6918c5c9560e8335d557a7ecb0a..e4328bc341f34c55d9fe07d3a046761347362ec7 100644 --- a/kernel/printk/printk.c +++ b/kernel/printk/printk.c @@ -1751,9 +1751,10 @@ void zap_locks(void) if (raw_spin_is_locked(&console_owner_lock)) { raw_spin_lock_init(&console_owner_lock); - console_owner = NULL; - console_waiter = false; } + + console_owner = NULL; + console_waiter = false; } /**