flushed_disks     621 drivers/md/raid5-ppl.c 	int flushed_disks = 0;
flushed_disks     650 drivers/md/raid5-ppl.c 			flushed_disks++;
flushed_disks     656 drivers/md/raid5-ppl.c 	for (i = flushed_disks ; i < raid_disks; i++) {