Re: [PATCH] platform/x86: xiaomi-wmi: Use devm_mutex_init()

[Ilpo Järvinen]

On Sun, 07 Sep 2025 12:09:09 +0200, Christophe JAILLET wrote:

> Use devm_mutex_init() instead of hand-writing it.
> 
> This saves some LoC, improves readability and saves some space in the
> generated .o file.
> 
> Before:
> ======
>    text	   data	    bss	    dec	    hex	filename
>    3520	   1112	     64	   4696	   1258	drivers/platform/x86/xiaomi-wmi.o
> 
> [...]


Thank you for your contribution, it has been applied to my local
review-ilpo-next branch. Note it will show up in the public
platform-drivers-x86/review-ilpo-next branch only once I've pushed my
local branch there, which might take a while.

The list of commits applied:
[1/1] platform/x86: xiaomi-wmi: Use devm_mutex_init()
      commit: b5a5a16e37c004052e9181de5cff0638d44a4b9b

--
 i.