Symbol: format_ipmb_msg
drivers/char/ipmi/ipmi_msghandler.c
2061
format_ipmb_msg(smi_msg, msg, ipmb_addr, msgid,
drivers/char/ipmi/ipmi_msghandler.c
2106
format_ipmb_msg(smi_msg, msg, ipmb_addr,