Linux kernel中的IS_ENABLED

在kernel的代码中, 有时候会看见IS_ENABLED(CONFIG_XXXX)来测试某个Kconfig选项是否开启(即选中为y或者m). 如

if (IS_ENABLED(CONFIG_TIME_LOW_RES) && timer->is_rel)
    rem -= hrtimer_resolution;

这里当TIME_LOW_RES这个Kconfig选项配置为y或m, 并且timer->is_rel不为0时调用rem -= hrtimer_resolution.
那么这个是怎样实现的呢?
首先在Kconfig中选中某个选项为y或m时, 在.config文件中就会由一个CONFIG_XXXXX=y或CONFIG_XXXXX=m, 并且会自动生成一个头文件autoconfig.h. 当选中为y时, 头文件中包含#define CONFIG_XXXXX 1, 当选中为m时, 头文件中包含#define CONFIG_XXXXX_MODULE 1, 当不选中是, 头文件中不包含相关语句.
IS_ENABLED定义为

#define IS_ENABLED(option) __or(IS_BUILTIN(option), IS_MODULE(option))

IS_BUILTIN, IS_MODULE和__or分别定义为

#define IS_BUILTIN(option) __is_defined(option)
#define IS_MODULE(option) __is_defined(option##_MODULE)

#define __or(x, y)          ___or(x, y)
#define ___or(x, y)         ____or(__ARG_PLACEHOLDER_##x, y)
#define ____or(arg1_or_junk, y)     __take_second_arg(arg1_or_junk 1, y)

__is_defined定义为

#define __is_defined(x)         ___is_defined(x)
#define ___is_defined(val)      ____is_defined(__ARG_PLACEHOLDER_##val)
#define ____is_defined(arg1_or_junk)    __take_second_arg(arg1_or_junk 1, 0)

在这之前定义了

#define __ARG_PLACEHOLDER_1 0,
#define __take_second_arg(__ignored, val, ...) val

当#define CONFIG_XXXXX 1时__is_defined(1)展开为____is_defined(0,), 即__take_second_arg(0, 1, 0), 最终为1
当CONFIG_XXXXX没有定义时__is_defined()展开为____is_defined()(因为没有定义__ARG_PLACEHOLDER_), 即__take_second_arg(1, 0), 最终为0
同样的方法可以理解__or.
因此IS_ENABLED主要是将没有定义的CONFIG_XXXXX映射到0.