CVMX_CIU2_SUM_PPX_IP2
cvmx_read_csr(CVMX_CIU2_SUM_PPX_IP2(coreid));
sum = cvmx_read_csr(CVMX_CIU2_SUM_PPX_IP2(core_id)) & 0xfful;
octeon_wdt_write_hex(cvmx_read_csr(CVMX_CIU2_SUM_PPX_IP2(coreid)), 16);