bad_ecc_bit       244 drivers/edac/fsl_ddr_edac.c 		       int *bad_data_bit, int *bad_ecc_bit)
bad_ecc_bit       250 drivers/edac/fsl_ddr_edac.c 	*bad_ecc_bit = -1;
bad_ecc_bit       269 drivers/edac/fsl_ddr_edac.c 			*bad_ecc_bit = i;
bad_ecc_bit       290 drivers/edac/fsl_ddr_edac.c 	int bad_ecc_bit;
bad_ecc_bit       335 drivers/edac/fsl_ddr_edac.c 				&bad_data_bit, &bad_ecc_bit);
bad_ecc_bit       340 drivers/edac/fsl_ddr_edac.c 		if (bad_ecc_bit != -1)
bad_ecc_bit       342 drivers/edac/fsl_ddr_edac.c 				"Faulty ECC bit: %d\n", bad_ecc_bit);
bad_ecc_bit       348 drivers/edac/fsl_ddr_edac.c 			syndrome ^ (1 << bad_ecc_bit));