MIX_ORCNT
mix_orcnt.u64 = cvmx_read_csr(p->mix + MIX_ORCNT);
mix_orcnt.u64 = cvmx_read_csr(p->mix + MIX_ORCNT);
cvmx_write_csr(p->mix + MIX_ORCNT, mix_orcnt.u64);
mix_orcnt.u64 = cvmx_read_csr(p->mix + MIX_ORCNT);