diff --git a/kernel/printk.c b/kernel/printk.c
index d18933a92819e85e441d367340538192b02b600f..6ff26151f4ffb16e56b517e2990aec1e38ba7491 100644
--- a/kernel/printk.c
+++ b/kernel/printk.c
@@ -647,6 +647,7 @@ static inline int can_use_console(unsigned int cpu)
  * released but interrupts still disabled.
  */
 static int acquire_console_semaphore_for_printk(unsigned int cpu)
+	__releases(&logbuf_lock)
 {
 	int retval = 0;