CVMX_CIU_INT_SUM1
u64 ciu_sum = cvmx_read_csr(CVMX_CIU_INT_SUM1);
cvmx_write_csr(CVMX_CIU_INT_SUM1, mask);