Searched refs:memTable (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpecoffexport.cpp95 DWORD offset = (DWORD)((char*)p - (char*)memTable[area].mtAddr);
107 POLYUNSIGNED offset = (char*)addr - (char*)memTable[addrArea].mtAddr;
166 POLYUNSIGNED offset = (char*)a - (char*)memTable[aArea].mtAddr;
229 sections[i].SizeOfRawData = (DWORD)memTable[i].mtLength;
232 if (memTable[i].mtFlags & MTF_WRITEABLE)
235 ASSERT(!(memTable[i].mtFlags & MTF_EXECUTABLE)); // Executable areas can't be writable.
239 else if (memTable[i].mtFlags & MTF_EXECUTABLE)
273 char *start = (char*)memTable[i].mtAddr;
274 char *end = start + memTable[i].mtLength;
306 // Relocations for "exports" and "memTable";
[all...]
H A Dmachoexport.cpp92 offset += memTable[i].mtLength;
106 POLYUNSIGNED offset = (char*)p - (char*)memTable[area].mtAddr;
115 POLYUNSIGNED offset = (char*)addr - (char*)memTable[addrArea].mtAddr;
156 POLYUNSIGNED offset = (char*)a - (char*)memTable[aArea].mtAddr;
207 POLYUNSIGNED addrOffset = (char*)addr - (char*)memTable[addrArea].mtAddr;
312 sHdr.filesize += memTable[i].mtLength; // Do we need any alignment?
329 if (memTable[i].mtFlags & MTF_WRITEABLE)
332 ASSERT(!(memTable[i].mtFlags & MTF_EXECUTABLE)); // Executable areas can't be writable.
337 else if (memTable[i].mtFlags & MTF_EXECUTABLE)
351 sections[i].size = memTable[
[all...]
H A Delfexport.cpp303 POLYUNSIGNED offset = (char*)p - (char*)memTable[area].mtAddr;
312 POLYUNSIGNED offset = (char*)addr - (char*)memTable[addrArea].mtAddr;
360 POLYUNSIGNED offset = (char*)a - (char*)memTable[aArea].mtAddr;
556 if (memTable[i].mtFlags & MTF_WRITEABLE)
559 ASSERT(!(memTable[i].mtFlags & MTF_EXECUTABLE)); // Executable areas can't be writable.
564 else if (memTable[i].mtFlags & MTF_EXECUTABLE)
626 char *start = (char*)memTable[i].mtAddr;
627 char *end = start + memTable[i].mtLength;
644 // Relocations for "exports" and "memTable";
651 areaSpace += memTable[
[all...]
H A Dexporter.h64 struct _memTableEntry *memTable; member in class:Exporter
H A Dmpoly.cpp522 memoryTableEntry *memTable = exports->memTable; local
527 (PolyWord*)memTable[i].mtAddr,
528 memTable[i].mtLength/sizeof(PolyWord), (unsigned)memTable[i].mtFlags,
529 (unsigned)memTable[i].mtIndex) == 0)
H A Dpexport.cpp246 // in order of increasing address, which may not be the order in memTable.
254 if (memTable[*it].mtAddr >= memTable[i].mtAddr)
264 char *start = (char*)memTable[index].mtAddr;
265 char *end = start + memTable[index].mtLength;
283 char *start = (char*)memTable[i].mtAddr;
284 char *end = start + memTable[i].mtLength;
H A Dexporter.cpp565 exports->memTable = new memoryTableEntry[tableEntries];
576 memoryTableEntry *entry = &exports->memTable[memEntry++];
590 memoryTableEntry *entry = &exports->memTable[memEntry++];
712 Exporter::Exporter(unsigned int h): exportFile(NULL), errorMessage(0), hierarchy(h), memTable(0), newAreas(0)
718 delete[](memTable);
736 if (p > memTable[i].mtAddr &&
737 p <= (char*)memTable[i].mtAddr + memTable[i].mtLength)
H A Dsavestate.cpp306 POLYUNSIGNED offset = (char*)p - (char*)memTable[area].mtAddr;
319 reloc.targetAddress = (char*)addr - (char*)memTable[addrArea].mtAddr;
320 reloc.targetSegment = (unsigned)memTable[addrArea].mtIndex;
349 reloc.targetAddress = (char*)a - (char*)memTable[aArea].mtAddr;
350 reloc.targetSegment = (unsigned)memTable[aArea].mtIndex;
491 exports.memTable = new memoryTableEntry[gMem.eSpaces.size()+gMem.pSpaces.size()+1];
501 memoryTableEntry *entry = &exports.memTable[memTableCount++];
521 memoryTableEntry *entry = &exports.memTable[memTableCount++];
627 memoryTableEntry *entry = &exports.memTable[j];
653 memoryTableEntry *entry = &exports.memTable[
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h69 memoryTableEntry *memTable; // Pointer to the memory table. member in struct:_exportDescription

Completed in 131 milliseconds