WB_BUSCTL_RESET
WB_SETBIT(sc, WB_BUSCTL, WB_BUSCTL_RESET);
if ((CSR_READ_4(sc, WB_BUSCTL) & WB_BUSCTL_RESET) == 0)