CVMX_CIU_SUM2_PPX_IP4
u64 ciu_sum = cvmx_read_csr(CVMX_CIU_SUM2_PPX_IP4(coreid));
cvmx_write_csr(CVMX_CIU_SUM2_PPX_IP4(index), mask);