old_bmc          2980 drivers/char/ipmi/ipmi_msghandler.c 	struct bmc_device *old_bmc;
old_bmc          2997 drivers/char/ipmi/ipmi_msghandler.c 		old_bmc = ipmi_find_bmc_guid(&ipmidriver.driver, guid);
old_bmc          2999 drivers/char/ipmi/ipmi_msghandler.c 		old_bmc = ipmi_find_bmc_prod_dev_id(&ipmidriver.driver,
old_bmc          3007 drivers/char/ipmi/ipmi_msghandler.c 	if (old_bmc) {
old_bmc          3008 drivers/char/ipmi/ipmi_msghandler.c 		bmc = old_bmc;
old_bmc          3013 drivers/char/ipmi/ipmi_msghandler.c 		intf->bmc = old_bmc;