if (dasd_page_cache != NULL) { kmem_cache_destroy(dasd_page_cache); dasd_page_cache = NULL; } 
dasd_exit(void){#ifdef CONFIG_PROC_FS	dasd_proc_exit();#endif	dasd_ioctl_exit();	dasd_gendisk_exit();	dasd_devmap_exit();	devfs_remove("dasd");	if (dasd_debug_area != NULL) {		debug_unregister(dasd_debug_area);		dasd_debug_area = NULL;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6bb0e01081c2ca585b5e145783fea53bb0589786/dasd.c/clean/drivers/s390/block/dasd.c