CVMX_L2C_ERR_TDTX
cvmx_write_csr(CVMX_L2C_ERR_TDTX(tad), err_tdtx_reset.u64);
err_tdtx.u64 = cvmx_read_csr(CVMX_L2C_ERR_TDTX(tad));