MVXPE_NDFOMT
CTASSERT(MVXPE_NDFSMT == MVXPE_NDFOMT);
uint32_t dfut[MVXPE_NDFUT], dfsmt[MVXPE_NDFSMT], dfomt[MVXPE_NDFOMT];
MVXPE_WRITE_REGION(sc, MVXPE_DFOMT(0), dfomt, MVXPE_NDFOMT);