CONFIG_IPMI_DMI_DECODE    7 drivers/char/ipmi/ipmi_dmi.h #ifdef CONFIG_IPMI_DMI_DECODE
CONFIG_IPMI_DMI_DECODE  308 drivers/char/ipmi/ipmi_si_platform.c #ifdef CONFIG_IPMI_DMI_DECODE
CONFIG_IPMI_DMI_DECODE 1481 drivers/char/ipmi/ipmi_ssif.c #ifdef CONFIG_IPMI_DMI_DECODE