f1x_determine_channel 1944 drivers/edac/amd64_edac.c 	channel = f1x_determine_channel(pvt, sys_addr, high_range, intlv_en);
f1x_determine_channel 2036 drivers/edac/amd64_edac.c 		channel = f1x_determine_channel(pvt, sys_addr, false, intlv_en);