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