TXP_DST_CTRL
VC4_REG32(TXP_DST_CTRL),
TXP_WRITE(TXP_DST_CTRL, ctrl);
if (TXP_READ(TXP_DST_CTRL) & TXP_BUSY) {
TXP_WRITE(TXP_DST_CTRL, TXP_ABORT);
while (TXP_READ(TXP_DST_CTRL) & TXP_BUSY &&
WARN_ON(TXP_READ(TXP_DST_CTRL) & TXP_BUSY);
TXP_WRITE(TXP_DST_CTRL, TXP_POWERDOWN);
TXP_WRITE(TXP_DST_CTRL, TXP_READ(TXP_DST_CTRL) & ~TXP_EI);