/* Return the base value defined by the DRAM Base register for the node represented by mci. This function returns the full 40-bit value despite the fact that the register only stores bits 39-24 of the value. See section 3.4.4.1 (BKDG #26094, K8, revA-E)  */
static u64 get_dram_base(struct mem_ctl_info *mci)
/* Return the base value defined by the DRAM Base register for the node represented by mci. This function returns the full 40-bit value despite the fact that the register only stores bits 39-24 of the value. See section 3.4.4.1 (BKDG #26094, K8, revA-E)  */
static u64 get_dram_base(struct mem_ctl_info *mci)
{
	struct amd64_pvt *pvt = mci->pvt_info;
	return pvt->dram_base[pvt->mc_node_id];
}