if (! memcmp(mfr, id->manufacturer_id, sizeof(mfr)) && (id->device_id       == DELL_POWEREDGE_8G_BMC_DEVICE_ID) && (id->device_revision == DELL_POWEREDGE_8G_BMC_DEVICE_REV) && (id->ipmi_version    == DELL_POWEREDGE_8G_BMC_IPMI_VERSION)) { smi_info->oem_data_avail_handler = oem_data_avail_to_receive_msg_avail; 
if (! memcmp(mfr, id->manufacturer_id, sizeof(mfr))) { if (id->device_id       == DELL_POWEREDGE_8G_BMC_DEVICE_ID  && id->device_revision == DELL_POWEREDGE_8G_BMC_DEVICE_REV && id->ipmi_version    == DELL_POWEREDGE_8G_BMC_IPMI_VERSION) { smi_info->oem_data_avail_handler = oem_data_avail_to_receive_msg_avail; } else if (ipmi_version_major(id) < 1 || (ipmi_version_major(id) == 1 && ipmi_version_minor(id) < 5)) { smi_info->oem_data_avail_handler = oem_data_avail_to_receive_msg_avail; } 
static void setup_dell_poweredge_oem_data_handler(struct smi_info *smi_info){	struct ipmi_device_id *id = &smi_info->device_id;	const char mfr[3]=DELL_IANA_MFR_ID;	if (! memcmp(mfr, id->manufacturer_id, sizeof(mfr))	    && (id->device_id       == DELL_POWEREDGE_8G_BMC_DEVICE_ID)	    && (id->device_revision == DELL_POWEREDGE_8G_BMC_DEVICE_REV)	    && (id->ipmi_version    == DELL_POWEREDGE_8G_BMC_IPMI_VERSION))	{		smi_info->oem_data_avail_handler =			oem_data_avail_to_receive_msg_avail;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d5a2b89a4943b423b5b0a07783fee4e08424b0b2/ipmi_si_intf.c/clean/drivers/char/ipmi/ipmi_si_intf.c