Searched refs:mtIndex (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h57 uintptr_t mtIndex; // An index to identify permanent spaces. member in struct:_memTableEntry
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsavestate.cpp320 reloc.targetSegment = (unsigned)memTable[addrArea].mtIndex;
350 reloc.targetSegment = (unsigned)memTable[aArea].mtIndex;
504 entry->mtIndex = space->index;
525 entry->mtIndex = space->index;
630 descrs[j].segmentIndex = (unsigned)entry->mtIndex;
1523 modHeader.rootSegment = mt->mtIndex;
1540 thisDescr->segmentIndex = (unsigned)entry->mtIndex;
H A Dmpoly.cpp529 (unsigned)memTable[i].mtIndex) == 0)
H A Dexporter.cpp579 entry->mtIndex = space->index;
594 entry->mtIndex = hierarchy == 0 ? memEntry-1 : space->index;

Completed in 30 milliseconds