MIX_CTL
mix_ctl.u64 = cvmx_read_csr(p->mix + MIX_CTL);
cvmx_write_csr(p->mix + MIX_CTL, mix_ctl.u64);
mix_ctl.u64 = cvmx_read_csr(p->mix + MIX_CTL);
cvmx_write_csr(p->mix + MIX_CTL, mix_ctl.u64);
cvmx_write_csr(p->mix + MIX_CTL, mix_ctl.u64);
mix_ctl.u64 = cvmx_read_csr(p->mix + MIX_CTL);
cvmx_write_csr(p->mix + MIX_CTL, mix_ctl.u64);
cvmx_read_csr(p->mix + MIX_CTL);