class_device_unregister(&uverbs_dev->class_dev); 
class_set_devdata(uverbs_dev->class_dev, NULL); class_device_destroy(uverbs_class, uverbs_dev->dev->dev); cdev_del(uverbs_dev->dev);  spin_lock(&map_lock); dev_table[uverbs_dev->devnum] = NULL; spin_unlock(&map_lock);  clear_bit(uverbs_dev->devnum, dev_map); kref_put(&uverbs_dev->ref, ib_uverbs_release_dev); 
static void ib_uverbs_remove_one(struct ib_device *device){	struct ib_uverbs_device *uverbs_dev = ib_get_client_data(device, &uverbs_client);	if (!uverbs_dev)		return;	class_device_unregister(&uverbs_dev->class_dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/70a30e16a8a9d22396a4d1e96af86e43594df584/uverbs_main.c/clean/drivers/infiniband/core/uverbs_main.c