struct ccw_device *cdev; struct list_head *entry; 
get_disc_ccwdev_by_devno(unsigned int devno, struct ccw_device *sibling){	struct ccw_device *cdev;	struct list_head *entry;	struct device *dev;	if (!get_bus(&ccw_bus_type))		return NULL;	down_read(&ccw_bus_type.subsys.rwsem);	cdev = NULL;	list_for_each(entry, &ccw_bus_type.devices.list) {		dev = get_device(container_of(entry,					      struct device, bus_list));		if (!dev)			continue;		cdev = to_ccwdev(dev);		if ((cdev->private->state == DEV_STATE_DISCONNECTED) &&		    (cdev->private->devno == devno) &&		    (cdev != sibling)) {			cdev->private->state = DEV_STATE_NOT_OPER;			break;		}		put_device(dev);		cdev = NULL;	}	up_read(&ccw_bus_type.subsys.rwsem);	put_bus(&ccw_bus_type);	return cdev;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b0744bd2925a4a24865963322534107d2ad553f9/device.c/buggy/drivers/s390/cio/device.c