Searched refs:memoryTableEntry (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | polyexports.h | 58 } memoryTableEntry; typedef in typeref:struct:_memTableEntry 69 memoryTableEntry *memTable; // Pointer to the memory table.
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | machoexport.cpp | 90 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 D | pecoffexport.cpp | 255 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 D | elfexport.cpp | 667 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 D | mpoly.cpp | 504 exports->memTableSize != sizeof(memoryTableEntry) || 522 memoryTableEntry *memTable = exports->memTable;
|
H A D | savestate.cpp | 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[k]; 1537 memoryTableEntry *entry = &this->memTable[j]; 1564 memoryTableEntry *entry = &this->memTable[k];
|
H A D | exporter.cpp | 565 exports->memTable = new memoryTableEntry[tableEntries]; 576 memoryTableEntry *entry = &exports->memTable[memEntry++]; 590 memoryTableEntry *entry = &exports->memTable[memEntry++];
|
Completed in 43 milliseconds