MVXPE_NDFSMT
CTASSERT(MVXPE_NDFSMT == MVXPE_NDFOMT);
uint32_t dfut[MVXPE_NDFUT], dfsmt[MVXPE_NDFSMT], dfomt[MVXPE_NDFOMT];
for (i = 0; i < MVXPE_NDFSMT; i++) {
MVXPE_WRITE_REGION(sc, MVXPE_DFSMT(0), dfsmt, MVXPE_NDFSMT);