format_ipmb_msg  1998 drivers/char/ipmi/ipmi_msghandler.c 		format_ipmb_msg(smi_msg, msg, ipmb_addr, msgid,
format_ipmb_msg  2046 drivers/char/ipmi/ipmi_msghandler.c 		format_ipmb_msg(smi_msg, msg, ipmb_addr,