MIX_IRCNT
cvmx_write_csr(p->mix + MIX_IRCNT, mix_ircnt.u64);
mix_ircnt.u64 = cvmx_read_csr(p->mix + MIX_IRCNT);