 destroy_workqueue(kmultipathd); 
static void __exit dm_multipath_exit(void){	int r;	r = dm_unregister_target(&multipath_target);	if (r < 0)		DMERR("%s: target unregister failed %d",		      multipath_target.name, r);	kmem_cache_destroy(_mpio_cache);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c557308e1f4b6f7d6144a06e8f98c467814f3aed/dm-mpath.c/buggy/drivers/md/dm-mpath.c