NULL, 
intf, 
send_channel_info_cmd(ipmi_smi_t intf, int chan){	struct kernel_ipmi_msg            msg;	unsigned char                     data[1];	struct ipmi_system_interface_addr si;	si.addr_type = IPMI_SYSTEM_INTERFACE_ADDR_TYPE;	si.channel = IPMI_BMC_CHANNEL;	si.lun = 0;	msg.netfn = IPMI_NETFN_APP_REQUEST;	msg.cmd = IPMI_GET_CHANNEL_INFO_CMD;	msg.data = data;	msg.data_len = 1;	data[0] = chan;	return i_ipmi_request(NULL,			      intf,			      (struct ipmi_addr *) &si,			      0,			      &msg,			      NULL,			      NULL,			      NULL,			      0,			      intf->channels[0].address,			      intf->channels[0].lun,			      -1, 0);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/56a55ec64806fb56e0cd43b0f726020b74c6689b/ipmi_msghandler.c/clean/drivers/char/ipmi/ipmi_msghandler.c