static ssize_t viodev_show_name(struct device *dev, struct device_attribute *attr, char *buf) 
static ssize_t viodev_show_name(struct device *dev, struct device_attribute *attr, char *buf) 
static ssize_t viodev_show_name(struct device *dev, struct device_attribute *attr, char *buf){	return sprintf(buf, "%s\n", to_vio_dev(dev)->name);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5c0b4b8759f78c31172088a91e10733fc014ccee/vio.c/buggy/arch/ppc64/kernel/vio.c