1 files changed, 1 insertions, 0 deletions

diff --git a/kernel/printk.c b/kernel/printk.c
index d18933a92819..6ff26151f4ff 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;