if (info->tmp_rx_buf) kfree(info->tmp_rx_buf); 
kfree(info->tmp_rx_buf); 
void free_tmp_rx_buf(SLMP_INFO *info){	if (info->tmp_rx_buf)		kfree(info->tmp_rx_buf);	info->tmp_rx_buf = NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/735d5661d5c5f023a78fbe68e771e261040ff1b7/synclinkmp.c/buggy/drivers/char/synclinkmp.c