CVMX_CIU_INTX_SUM0
u64 ciu_sum = cvmx_read_csr(CVMX_CIU_INTX_SUM0(core_id * 2));
cvmx_read_csr(CVMX_CIU_INTX_SUM0((coreid * 2)));
cvmx_write_csr(CVMX_CIU_INTX_SUM0(index), mask);
octeon_wdt_write_hex(cvmx_read_csr(CVMX_CIU_INTX_SUM0(coreid * 2)), 16);