HOST1X_CHANNEL_DMAEND_HI
host1x_ch_writel(ch, upper_32_bits(end), HOST1X_CHANNEL_DMAEND_HI);
host1x_ch_writel(ch, upper_32_bits(end), HOST1X_CHANNEL_DMAEND_HI);
dmaend = host1x_ch_readl(ch, HOST1X_CHANNEL_DMAEND_HI);