dasd_discipline_show(struct device *dev, char *buf) 
dasd_discipline_show(struct device *dev, struct device_attribute *attr, char *buf) 
dasd_discipline_show(struct device *dev, char *buf){	struct dasd_devmap *devmap;	char *dname;	spin_lock(&dasd_devmap_lock);	dname = "none";	devmap = dev->driver_data;	if (devmap && devmap->device && devmap->device->discipline)		dname = devmap->device->discipline->name;	spin_unlock(&dasd_devmap_lock);	return snprintf(buf, PAGE_SIZE, "%s\n", dname);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e404e274f62665f3333d6a539d0d3701f678a598/dasd_devmap.c/buggy/drivers/s390/block/dasd_devmap.c