HIDMA_TRE_SRC_HI_IDX
src_start = ((u64) (tre_local[HIDMA_TRE_SRC_HI_IDX]) << 32) + src_start;
tre_local[HIDMA_TRE_SRC_HI_IDX] = upper_32_bits(src);