DMI_DEV_TYPE_IPMI - Linux

Symbol: DMI_DEV_TYPE_IPMI

drivers/char/ipmi/ipmi_dmi.c

while ((dev = dmi_find_device(DMI_DEV_TYPE_IPMI, NULL, dev)))

drivers/firmware/dmi_scan.c

dev->type = DMI_DEV_TYPE_IPMI;