WPI_INT
r1 = WPI_READ(sc, WPI_INT);
WPI_WRITE(sc, WPI_INT, r1);
WPI_WRITE(sc, WPI_INT, 0xffffffff);
WPI_WRITE(sc, WPI_INT, 0xffffffff);
WPI_WRITE(sc, WPI_INT, 0xffffffff);
WPI_WRITE(sc, WPI_INT, 0xffffffff);