MVXPE_PIE
MVXPE_WRITE(sc, MVXPE_PIE, 0);
reg = MVXPE_READ(sc, MVXPE_PIE);
MVXPE_WRITE(sc, MVXPE_PIE, reg);
reg = MVXPE_READ(sc, MVXPE_PIE);
MVXPE_WRITE(sc, MVXPE_PIE, reg);
reg = MVXPE_READ(sc, MVXPE_PIE);
MVXPE_WRITE(sc, MVXPE_PIE, reg);