DMI_IPMI_ADDR     142 drivers/char/ipmi/ipmi_dmi.c 	memcpy(&base_addr, data + DMI_IPMI_ADDR, sizeof(unsigned long));
DMI_IPMI_ADDR     150 drivers/char/ipmi/ipmi_dmi.c 			base_addr = data[DMI_IPMI_ADDR] >> 1;