On Mon, May 08, 2023 at 06:09:13PM +0200, Petr Tesařík wrote: > Sure, although AFAIK the index does not cover all possible config > options (so non-x86 arch code is often forgotten). However, that's the > less important part. > > What do you do if you need to hook something that does conflict with an > existing identifier? As already happens in this patchset, rename the other identifier. But this is C, we avoid these kinds of conflicts already because the language has no namespacing - it's going to be a pretty rare situtaion going forward. Most of the hooking that will be done is done with this patchset, and there was only one identifier that needed to be renamed.