Searched refs:memoryTableEntry (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h58 } memoryTableEntry; typedef in typeref:struct:_memTableEntry
69 memoryTableEntry *memTable; // Pointer to the memory table.
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dmachoexport.cpp90 offset += sizeof(exportDescription)+sizeof(memoryTableEntry)*memTableEntries;
313 sHdr.filesize += sizeof(exportDescription) + memTableEntries * sizeof(memoryTableEntry);
324 POLYUNSIGNED sectAddr = sizeof(exportDescription)+sizeof(memoryTableEntry)*memTableEntries;
365 sections[memTableEntries].size = sizeof(exportDescription)+sizeof(memoryTableEntry)*memTableEntries;
422 sizeof(exportDescription) + i * sizeof(memoryTableEntry) + offsetof(memoryTableEntry, mtAddr));
477 exports.memTableSize = sizeof(memoryTableEntry);
479 exports.memTable = (memoryTableEntry *)sizeof(exportDescription); // It follows immediately after this.
489 POLYUNSIGNED addrOffset = sizeof(exports)+sizeof(memoryTableEntry)*memTableEntries;
495 fwrite(&memTable[i], sizeof(memoryTableEntry),
[all...]
H A Dpecoffexport.cpp255 sections[memTableEntries].SizeOfRawData = sizeof(exports) + (memTableEntries+1)*sizeof(memoryTableEntry);
329 sizeof(exportDescription) + i * sizeof(memoryTableEntry) + offsetof(memoryTableEntry, mtAddr);
347 exports.memTableSize = sizeof(memoryTableEntry);
349 exports.memTable = (memoryTableEntry *)sizeof(exports); // It follows immediately after this.
361 fwrite(memTable, sizeof(memoryTableEntry), memTableEntries, exportFile);
H A Delfexport.cpp667 sizeof(exportDescription) + i * sizeof(memoryTableEntry) + offsetof(memoryTableEntry, mtAddr),
692 sizeof(exportDescription)+sizeof(memoryTableEntry)*memTableEntries,
715 exports.memTableSize = sizeof(memoryTableEntry);
717 exports.memTable = USE_RELA ? 0 : (memoryTableEntry *)memTableOffset;
733 sections[sect_table_data].sh_size = sizeof(exportDescription) + memTableEntries*sizeof(memoryTableEntry);
736 fwrite(memTable, sizeof(memoryTableEntry), memTableEntries, exportFile);
H A Dmpoly.cpp504 exports->memTableSize != sizeof(memoryTableEntry) ||
522 memoryTableEntry *memTable = exports->memTable;
H A Dsavestate.cpp491 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[k];
1537 memoryTableEntry *entry = &this->memTable[j];
1564 memoryTableEntry *entry = &this->memTable[k];
H A Dexporter.cpp565 exports->memTable = new memoryTableEntry[tableEntries];
576 memoryTableEntry *entry = &exports->memTable[memEntry++];
590 memoryTableEntry *entry = &exports->memTable[memEntry++];

Completed in 43 milliseconds