if ( info->tx_holding_buffers[i].buffer ) { kfree(info->tx_holding_buffers[i].buffer); info->tx_holding_buffers[i].buffer=NULL; } 
kfree(info->tx_holding_buffers[i].buffer); info->tx_holding_buffers[i].buffer = NULL; 
static void mgsl_free_intermediate_txbuffer_memory(struct mgsl_struct *info){	int i;	for ( i=0; i<info->num_tx_holding_buffers; ++i ) {		if ( info->tx_holding_buffers[i].buffer ) {				kfree(info->tx_holding_buffers[i].buffer);				info->tx_holding_buffers[i].buffer=NULL;		}	}	info->get_tx_holding_index = 0;	info->put_tx_holding_index = 0;	info->tx_holding_count = 0;}	/* end of mgsl_free_intermediate_txbuffer_memory() */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/735d5661d5c5f023a78fbe68e771e261040ff1b7/synclink.c/buggy/drivers/char/synclink.c