PCN_CSR_MAR0
pcn_csr_write(sc, PCN_CSR_MAR0 + i, 0xFFFF);
pcn_csr_write(sc, PCN_CSR_MAR0 + i, 0);
pcn_csr_write(sc, PCN_CSR_MAR0 + i, hashes[i]);