check_stripe_cache 7843 drivers/md/raid5.c 	if (!check_stripe_cache(mddev))
check_stripe_cache 7872 drivers/md/raid5.c 	if (!check_stripe_cache(mddev))