dct_high_range_enabled 1655 drivers/edac/amd64_edac.c 				 (dct_high_range_enabled(pvt) ? "yes" : "no"));
dct_high_range_enabled 1742 drivers/edac/amd64_edac.c 	if (dct_high_range_enabled(pvt))
dct_high_range_enabled 1939 drivers/edac/amd64_edac.c 	if (dct_high_range_enabled(pvt) &&
dct_high_range_enabled 1956 drivers/edac/amd64_edac.c 	   !dct_high_range_enabled(pvt) &&