WB_BUSCTL_RESET
WB_SETBIT(sc, WB_BUSCTL, WB_BUSCTL_RESET);
if (!(CSR_READ_4(sc, WB_BUSCTL) & WB_BUSCTL_RESET))