Re: [PATCH printk v8 01/35] printk: Add notation to console_srcu locking

[Paul E. McKenney]

On Tue, Aug 20, 2024 at 08:35:27AM +0206, John Ogness wrote:
> kernel/printk/printk.c:284:5: sparse: sparse: context imbalance in
> 'console_srcu_read_lock' - wrong count at exit
> include/linux/srcu.h:301:9: sparse: sparse: context imbalance in
> 'console_srcu_read_unlock' - unexpected unlock
> 
> Fixes: 6c4afa79147e ("printk: Prepare for SRCU console list protection")
> Signed-off-by: John Ogness <john.ogness@xxxxxxxxxxxxx>
> Reviewed-by: Petr Mladek <pmladek@xxxxxxxx>

Acked-by: Paul E. McKenney <paulmck@xxxxxxxxxx>

> ---
>  kernel/printk/printk.c | 2 ++
>  1 file changed, 2 insertions(+)
> 
> diff --git a/kernel/printk/printk.c b/kernel/printk/printk.c
> index c22b07049c38..93c67eb7ca9e 100644
> --- a/kernel/printk/printk.c
> +++ b/kernel/printk/printk.c
> @@ -282,6 +282,7 @@ EXPORT_SYMBOL(console_list_unlock);
>   * Return: A cookie to pass to console_srcu_read_unlock().
>   */
>  int console_srcu_read_lock(void)
> +	__acquires(&console_srcu)
>  {
>  	return srcu_read_lock_nmisafe(&console_srcu);
>  }
> @@ -295,6 +296,7 @@ EXPORT_SYMBOL(console_srcu_read_lock);
>   * Counterpart to console_srcu_read_lock()
>   */
>  void console_srcu_read_unlock(int cookie)
> +	__releases(&console_srcu)
>  {
>  	srcu_read_unlock_nmisafe(&console_srcu, cookie);
>  }
> -- 
> 2.39.2
>