ipmi_plat_data.h   16 drivers/char/ipmi/ipmi_dmi.c #include "ipmi_plat_data.h"
ipmi_plat_data.h    8 drivers/char/ipmi/ipmi_plat_data.c #include "ipmi_plat_data.h"
ipmi_plat_data.h    8 drivers/char/ipmi/ipmi_si_hardcode.c #include "ipmi_plat_data.h"
ipmi_plat_data.h   15 drivers/char/ipmi/ipmi_si_hotmod.c #include "ipmi_plat_data.h"