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

From: David Woodhouse
Date: Thu Sep 26 2024 - 11:38:14 EST


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