top_mem2         2781 drivers/edac/amd64_edac.c 		rdmsrl(MSR_K8_TOP_MEM2, pvt->top_mem2);
top_mem2         2782 drivers/edac/amd64_edac.c 		edac_dbg(0, "  TOP_MEM2: 0x%016llx\n", pvt->top_mem2);
top_mem2          370 drivers/edac/amd64_edac.h 	u64 top_mem2;		/* top of memory above 4GB */
top_mem2           17 drivers/edac/amd64_edac_dbg.c EDAC_DCT_ATTR_SHOW(top_mem2);