MIX_INTENA
cvmx_write_csr(p->mix + MIX_INTENA, mix_intena.u64);
mix_intena.u64 = cvmx_read_csr(p->mix + MIX_INTENA);
cvmx_write_csr(p->mix + MIX_INTENA, mix_intena.u64);
mix_intena.u64 = cvmx_read_csr(p->mix + MIX_INTENA);
cvmx_write_csr(p->mix + MIX_INTENA, mix_intena.u64);