On 29.07.2025 22:39, Petr Beneš wrote: > On Tue, Jul 22, 2025 at 4:56 PM Jan Beulich <jbeul...@suse.com> wrote: >> Hmm, using IS_ENABLED() would certainly be preferred. > > Why? Very similar usage is a few lines above, with #ifdef > CONFIG_MEM_PAGING and CONFIG_MEM_SHARING.
Our preference towards IS_ENABLED() (where possible) likely post-dates the addition of those #ifdef-s. Jan
