/* @input_addr is an InputAddr associated with the node given by mci. Translate @input_addr to a SysAddr.  */
static u64 input_addr_to_sys_addr(struct mem_ctl_info *mci, u64 input_addr)
/* @input_addr is an InputAddr associated with the node given by mci. Translate @input_addr to a SysAddr.  */
static u64 input_addr_to_sys_addr(struct mem_ctl_info *mci, u64 input_addr)
{
	return dram_addr_to_sys_addr(mci,
				     input_addr_to_dram_addr(mci, input_addr));
}