MSR_K8_TOP_MEM2
rdmsr(MSR_K8_TOP_MEM2, low, high);
address = MSR_K8_TOP_MEM2;
rdmsrq(MSR_K8_TOP_MEM2, pvt->top_mem2);