if (klist_node_attached(&gdev->dev.knode_bus)) 
if (device_is_registered(&gdev->dev)) 
__ccwgroup_get_gdev_by_cdev(struct ccw_device *cdev){	struct ccwgroup_device *gdev;	if (cdev->dev.driver_data) {		gdev = (struct ccwgroup_device *)cdev->dev.driver_data;		if (get_device(&gdev->dev)) {			if (klist_node_attached(&gdev->dev.knode_bus))				return gdev;			put_device(&gdev->dev);		}		return NULL;	}	return NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d305ef5d2a4e77bfa66160513f4a7494126a506b/ccwgroup.c/buggy/drivers/s390/cio/ccwgroup.c