send_channel_info_cmd 3301 drivers/char/ipmi/ipmi_msghandler.c rv = send_channel_info_cmd(intf, intf->curr_channel); send_channel_info_cmd 3342 drivers/char/ipmi/ipmi_msghandler.c rv = send_channel_info_cmd(intf, 0);