WB_MAR1
CSR_WRITE_4(sc, WB_MAR1, 0xFFFFFFFF);
CSR_WRITE_4(sc, WB_MAR1, 0);
CSR_WRITE_4(sc, WB_MAR1, hashes[1]);