WPI_FH_INT
r2 = WPI_READ(sc, WPI_FH_INT);
WPI_WRITE(sc, WPI_FH_INT, r2);
WPI_WRITE(sc, WPI_FH_INT, 0xffffffff);