dct_sel_base     1909 drivers/edac/amd64_edac.c 	u32 dct_sel_base;
dct_sel_base     1933 drivers/edac/amd64_edac.c 	dct_sel_base = dct_sel_baseaddr(pvt);
dct_sel_base     1941 drivers/edac/amd64_edac.c 	   ((sys_addr >> 27) >= (dct_sel_base >> 11)))
dct_sel_base     1947 drivers/edac/amd64_edac.c 					  high_range, dct_sel_base);