ipmi_dmi.h   15 drivers/char/ipmi/ipmi_dmi.c #include "ipmi_dmi.h"
ipmi_dmi.h   20 drivers/char/ipmi/ipmi_si_platform.c #include "ipmi_dmi.h"
ipmi_dmi.h   55 drivers/char/ipmi/ipmi_ssif.c #include "ipmi_dmi.h"