AGL_GMX_TX_CLK
agl_clk.u64 = cvmx_read_csr(p->agl + AGL_GMX_TX_CLK);
cvmx_write_csr(p->agl + AGL_GMX_TX_CLK, agl_clk.u64);