WMREG_TARC0
device_printf(sc->sc_dev, "TARC0: %08x\n", CSR_READ(sc, WMREG_TARC0));
tarc0 = CSR_READ(sc, WMREG_TARC0);
CSR_WRITE(sc, WMREG_TARC0, tarc0);