class_simple_device_remove(IB_UCM_DEV); class_simple_destroy(ib_ucm_class); 
class_device_destroy(ib_ucm_class, IB_UCM_DEV); class_destroy(ib_ucm_class); 
static void __exit ib_ucm_cleanup(void){	class_simple_device_remove(IB_UCM_DEV);	class_simple_destroy(ib_ucm_class);	cdev_del(&ib_ucm_cdev);	unregister_chrdev_region(IB_UCM_DEV, 1);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2d0d099f1950bda2f712364a3bf74f20ddb61190/ucm.c/clean/drivers/infiniband/core/ucm.c