if (dev_ptr->dev_resp_p) kfree(dev_ptr->dev_resp_p); 
kfree(dev_ptr->dev_resp_p); 
destroy_crypto_device(int index){	struct device *dev_ptr;	int t, disabledFlag;	dev_ptr = z90crypt.device_p[index];	/* remember device type; get rid of device struct */	if (dev_ptr) {		disabledFlag = dev_ptr->disabled;		t = dev_ptr->dev_type;		if (dev_ptr->dev_resp_p)			kfree(dev_ptr->dev_resp_p);		kfree(dev_ptr);	} else {		disabledFlag = 0;		t = -1;	}	z90crypt.device_p[index] = 0;	/* if the type is valid, remove the device from the type_mask */	if ((t != -1) && z90crypt.hdware_info->type_mask[t].st_mask[index]) {		  z90crypt.hdware_info->type_mask[t].st_mask[index] = 0x00;		  z90crypt.hdware_info->type_mask[t].st_count--;		  if (disabledFlag == 1)			z90crypt.hdware_info->type_mask[t].disabled_count--;	}	if (z90crypt.mask.st_mask[index] != DEV_GONE) {		z90crypt.mask.st_mask[index] = DEV_GONE;		z90crypt.mask.st_count--;	}	z90crypt.hdware_info->device_type_array[index] = 0;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/17fd682e544556a2a829e94383239c029bb21c5e/z90main.c/clean/drivers/s390/crypto/z90main.c