WPI_RESET
WPI_WRITE(sc, WPI_RESET, 0);
WPI_SETBITS(sc, WPI_RESET, WPI_RESET_STOP_MASTER);
if (WPI_READ(sc, WPI_RESET) & WPI_RESET_MASTER_DISABLED)
WPI_SETBITS(sc, WPI_RESET, WPI_RESET_SW);
WPI_WRITE(sc, WPI_RESET, WPI_RESET_NEVO);