if ( info->intermediate_rxbuffer ) kfree(info->intermediate_rxbuffer);  
kfree(info->intermediate_rxbuffer); 
static void mgsl_free_intermediate_rxbuffer_memory(struct mgsl_struct *info){	if ( info->intermediate_rxbuffer )		kfree(info->intermediate_rxbuffer);	info->intermediate_rxbuffer = NULL;}	/* end of mgsl_free_intermediate_rxbuffer_memory() */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/735d5661d5c5f023a78fbe68e771e261040ff1b7/synclink.c/buggy/drivers/char/synclink.c