RTASE_DTCCR4
rtase_w32(tp, RTASE_DTCCR4, upper_32_bits(paddr));
rtase_w32(tp, RTASE_DTCCR4, upper_32_bits(tp->tally_paddr));