skipped_disk     5915 drivers/md/raid5.c 		int skipped_disk = 0;
skipped_disk     5931 drivers/md/raid5.c 				skipped_disk = 1;
skipped_disk     5938 drivers/md/raid5.c 		if (!skipped_disk) {