img_update_free(void) 
static void img_update_free(void) 
img_update_free(void){	if (!rbu_data.image_update_buffer)		return;	/*	 * zero out this buffer before freeing it to get rid of any stale	 * BIOS image copied in memory.	 */	memset(rbu_data.image_update_buffer, 0,		rbu_data.image_update_buffer_size);	if (rbu_data.dma_alloc == 1)		dma_free_coherent(NULL, rbu_data.bios_image_size,			rbu_data.image_update_buffer, dell_rbu_dmaaddr);	else		free_pages((unsigned long) rbu_data.image_update_buffer,			rbu_data.image_update_ordernum);	/*	 * Re-initialize the rbu_data variables after a free	 */	rbu_data.image_update_ordernum = -1;	rbu_data.image_update_buffer = NULL;	rbu_data.image_update_buffer_size = 0;	rbu_data.bios_image_size = 0;	rbu_data.dma_alloc = 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dda8577fb5a00507e5aea737833190a10516b257/dell_rbu.c/buggy/drivers/firmware/dell_rbu.c