} 
} 
static void clean_up_interface_data(ipmi_smi_t intf){	int i;	free_recv_msg_list(&(intf->waiting_msgs));	free_recv_msg_list(&(intf->waiting_events));	free_cmd_rcvr_list(&(intf->cmd_rcvrs));	for (i = 0; i < IPMI_IPMB_NUM_SEQ; i++) {		if ((intf->seq_table[i].inuse)		    && (intf->seq_table[i].recv_msg))		{			ipmi_free_recv_msg(intf->seq_table[i].recv_msg);		}		}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/393d2cc354d150b8b4bb888a9da7db4c935e12bd/ipmi_msghandler.c/clean/drivers/char/ipmi/ipmi_msghandler.c