timg_txhi_reg_t::::tx_hi field

tx_hi : RO; bitpos: [31:0]; default: 0; After writing to TIMG_TxUPDATE_REG, the high 32 bits of the time-base counter of timer x can be read here.