Re: [PATCH v3] lockdep: add lockdep_cleanup_dead_cpu()

[David Woodhouse]

On Thu, 2024-09-26 at 08:13 -0700, Boqun Feng wrote:
> 
> Given that Peter did send a POC for static checking:
> 
>         https://lore.kernel.org/lkml/20231030111724.GA12604@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx/
> 
> Maybe you could explain why this is needed even though static checking
> is technically possible? Thanks!

If Peter wants to finish that approach and get it merged, that's fine
by me.

Attachment: smime.p7s
Description: S/MIME cryptographic signature