Searched refs:dtmId (Results 1 – 1 of 1) sorted by relevance
958 int dtmId = m_mgrDefault.getFirstFreeDTMID(); in migrateTo() local962 m_dtmIdent.setElementAt(dtmId << DTMManager.IDENT_DTM_NODE_BITS, i); in migrateTo()963 m_mgrDefault.addDTM(this, dtmId, nodeIndex); in migrateTo()964 dtmId++; in migrateTo()