class_simple_device_remove(MKDEV(vmlogrdr_major, priv->minor_num)); 
class_device_destroy(vmlogrdr_class, MKDEV(vmlogrdr_major, priv->minor_num)); 
vmlogrdr_unregister_device(struct vmlogrdr_priv_t *priv ) {	class_simple_device_remove(MKDEV(vmlogrdr_major, priv->minor_num));	if (priv->device != NULL) {		sysfs_remove_group(&priv->device->kobj, &vmlogrdr_attr_group);		device_unregister(priv->device);		priv->device=NULL;	}	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/56b2293595b2eb52cc2aa2baf92c6cfa8265f9d5/vmlogrdr.c/buggy/drivers/s390/char/vmlogrdr.c