ptl_h_get_dimm_size
u64 dimm0_size = ptl_h_get_dimm_size(imc, chan, 0);
u64 dimm1_size = ptl_h_get_dimm_size(imc, chan, 1);