if (device->private) kfree(device->private); 
kfree(device->private); 
dasd_free_device(struct dasd_device *device){	if (device->private)		kfree(device->private);	free_page((unsigned long) device->erp_mem);	free_pages((unsigned long) device->ccw_mem, 1);	kfree(device);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/17fd682e544556a2a829e94383239c029bb21c5e/dasd.c/buggy/drivers/s390/block/dasd.c