Shawn Bohrer <sbohrer@xxxxxxxxxxxxxx> wrote: > On Sun, Dec 23, 2018 at 06:06:40PM +0100, Florian Westphal wrote: > Sure, I'm fine with that. The only time they are different is when > CONFIG_LOCKDEP is enabled. But since you appear to be the one who > made them differnt when CONFIG_LOCKDEP is enabled I guess you are OK > with the removal of CONNCOUNT_LOCK_SLOTS? Yes, it wasn't a good idea.