DMI_DEV_TYPE_IPMI  218 drivers/char/ipmi/ipmi_dmi.c 	while ((dev = dmi_find_device(DMI_DEV_TYPE_IPMI, NULL, dev)))
DMI_DEV_TYPE_IPMI  316 drivers/firmware/dmi_scan.c 	dev->type = DMI_DEV_TYPE_IPMI;