WPI_INT
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);
WPI_DESC(WPI_INT);