MVXPE_PXC
pxc = MVXPE_READ(sc, MVXPE_PXC);
MVXPE_WRITE(sc, MVXPE_PXC, pxc);
reg = MVXPE_READ(sc, MVXPE_PXC);
MVXPE_WRITE(sc, MVXPE_PXC, reg);