HIDMA_TRE_DEST_HI_IDX
dest_start += ((u64) (tre_local[HIDMA_TRE_DEST_HI_IDX]) << 32);
tre_local[HIDMA_TRE_DEST_HI_IDX] = upper_32_bits(dest);