CVMX_CIU_INTX_EN0
cvmx_write_csr(CVMX_CIU_INTX_EN0((coreid * 2)), 0);
cvmx_write_csr(CVMX_CIU_INTX_EN0((coreid * 2 + 1)), 0);
cvmx_write_csr(CVMX_CIU_INTX_EN0(coreid * 2), *pen);
cvmx_write_csr(CVMX_CIU_INTX_EN0(cvmx_get_core_num() * 2), *pen);
cvmx_write_csr(CVMX_CIU_INTX_EN0(cvmx_get_core_num() * 2), *pen);
cvmx_write_csr(CVMX_CIU_INTX_EN0(coreid * 2), *pen);
cvmx_write_csr(CVMX_CIU_INTX_EN0(coreid * 2), *pen);
cvmx_write_csr(CVMX_CIU_INTX_EN0(coreid * 2), *pen);
octeon_wdt_write_hex(cvmx_read_csr(CVMX_CIU_INTX_EN0(coreid * 2)), 16);