nettel_intel_map.virt = 0; 
nettel_intel_map.virt = NULL; 
void __exit nettel_cleanup(void){#ifdef CONFIG_MTD_CFI_INTELEXT	unregister_reboot_notifier(&nettel_notifier_block);#endif	if (amd_mtd) {		del_mtd_partitions(amd_mtd);		map_destroy(amd_mtd);	}	if (nettel_amd_map.virt) {		iounmap(nettel_amd_map.virt);		nettel_amd_map.virt = NULL;	}#ifdef CONFIG_MTD_CFI_INTELEXT	if (intel_mtd) {		del_mtd_partitions(intel_mtd);		map_destroy(intel_mtd);	}	if (nettel_intel_map.virt) {		iounmap(nettel_intel_map.virt);		nettel_intel_map.virt = 0;	}#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e2602b347aa6f62b61754c5f65191ef67ffd0dc7/nettel.c/buggy/drivers/mtd/maps/nettel.c