out_put_bmc      3080 drivers/char/ipmi/ipmi_msghandler.c 		goto out_put_bmc;
out_put_bmc      3119 drivers/char/ipmi/ipmi_msghandler.c out_put_bmc: