CCE_INT_MASK
reg = read_csr(dd, CCE_INT_MASK + (8 * idx));
write_csr(dd, CCE_INT_MASK + (8 * idx), reg);
write_csr(dd, CCE_INT_MASK + (8 * i), 0);
write_csr(dd, CCE_INT_MASK + (8 * i), 0ull);
mask = read_csr(dd, CCE_INT_MASK);
write_csr(dd, CCE_INT_MASK, 0ull);
reg = read_csr(dd, CCE_INT_MASK);
write_csr(dd, CCE_INT_MASK, mask);
write_csr(dd, CCE_INT_MASK, mask);
mask = read_csr(rcd->dd, CCE_INT_MASK + (8 * (is / 64)));
sdma_dumpstate_helper2(CCE_INT_MASK);