if (mddev->raid_disks == 0) return 0; 
raid_disks_show(mddev_t *mddev, char *page){	return sprintf(page, "%d\n", mddev->raid_disks);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bb636547b02411ca5eef87b1d030ea3fc090a717/md.c/buggy/drivers/md/md.c