Searched refs:top_mem2 (Results 1 – 3 of 3) sorted by relevance
13 EDAC_DCT_ATTR_SHOW(top_mem2);
364 u64 top_mem2; /* top of memory above 4GB */ member
2060 rdmsrl(MSR_K8_TOP_MEM2, pvt->top_mem2); in read_mc_regs()2061 debugf0(" TOP_MEM2: 0x%016llx\n", pvt->top_mem2); in read_mc_regs()