} if (part->EUNInfo) { 
void ftl_freepart(partition_t *part){    if (part->VirtualBlockMap) {	vfree(part->VirtualBlockMap);	part->VirtualBlockMap = NULL;    }    if (part->VirtualPageMap) {	kfree(part->VirtualPageMap);	part->VirtualPageMap = NULL;    }    if (part->EUNInfo) {	kfree(part->EUNInfo);	part->EUNInfo = NULL;    }    if (part->XferInfo) {	kfree(part->XferInfo);	part->XferInfo = NULL;    }    if (part->bam_cache) {	kfree(part->bam_cache);	part->bam_cache = NULL;    }    } /* ftl_freepart */
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f9101210e7aa72daf92722d451a2f7e3af5f781f/ftl.c/buggy/drivers/mtd/ftl.c