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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpecoffexport.cpp207 sections = new IMAGE_SECTION_HEADER [memTableEntries+1]; // Plus one for the tables.
217 fhdr.NumberOfSections = memTableEntries+1; // One for each area plus one for the tables.
219 //fhdr.NumberOfSymbols = memTableEntries+1; // One for each area plus "poly_exports"
223 symbolNum = memTableEntries+1; // The first external symbol
226 for (i = 0; i < memTableEntries; i++)
253 memset(&sections[memTableEntries], 0, sizeof(IMAGE_SECTION_HEADER));
254 sprintf((char*)sections[memTableEntries].Name, ".data");
255 sections[memTableEntries].SizeOfRawData = sizeof(exports) + (memTableEntries+1)*sizeof(memoryTableEntry);
257 sections[memTableEntries]
[all...]
H A Dmachoexport.cpp86 // Add in the offset. If sect is memTableEntries it's actually the
88 if (area != memTableEntries)
90 offset += sizeof(exportDescription)+sizeof(memoryTableEntry)*memTableEntries;
259 struct section_64 *sections = new section_64[memTableEntries+1];
264 struct section *sections = new section[memTableEntries+1];
275 fhdr.sizeofcmds = sizeof(sHdr) + sectionSize * (memTableEntries+1) + sizeof(symTab);
307 sHdr.nsects = memTableEntries+1; // One for each entry plus one for the tables.
311 for (i = 0; i < memTableEntries; i++)
313 sHdr.filesize += sizeof(exportDescription) + memTableEntries * sizeof(memoryTableEntry);
324 POLYUNSIGNED sectAddr = sizeof(exportDescription)+sizeof(memoryTableEntry)*memTableEntries;
[all...]
H A Delfexport.cpp472 unsigned numSections = 6 + 2*memTableEntries /*- 1*/;
474 unsigned sect_symtab = sect_data + 2*memTableEntries + 2/* - 1*/;
479 symbolNum = EXTRA_SYMBOLS+memTableEntries+1;
551 for (i=0; i < memTableEntries; i++)
593 unsigned sect_table_data = sect_data + 2*memTableEntries;
619 for (i = 0; i < memTableEntries; i++)
650 for (i = 0; i < memTableEntries; i++)
656 createStructsRelocation(AreaToSym(memTableEntries), offsetof(exportDescription, memTable), memTableOffset);
664 for (i = 0; i < memTableEntries; i++)
682 for (i = 0; i < memTableEntries;
[all...]
H A Dexporter.h65 unsigned memTableEntries; member in class:Exporter
H A Dsavestate.cpp537 exports.memTableEntries = memTableCount;
617 saveHeader.segmentDescrCount = exports.memTableEntries; // One segment for each space.
623 SavedStateSegmentDescr *descrs = new SavedStateSegmentDescr [exports.memTableEntries];
625 for (unsigned j = 0; j < exports.memTableEntries; j++)
648 fwrite(descrs, sizeof(SavedStateSegmentDescr), exports.memTableEntries, exports.exportFile);
651 for (unsigned k = 1 /* Not IO area */; k < exports.memTableEntries; k++)
698 fwrite(descrs, sizeof(SavedStateSegmentDescr), exports.memTableEntries, exports.exportFile);
1527 modHeader.segmentDescrCount = this->memTableEntries; // One segment for each space.
1531 SavedStateSegmentDescr *descrs = new SavedStateSegmentDescr [this->memTableEntries];
1534 for (unsigned j = 0; j < this->memTableEntries;
[all...]
H A Dpexport.cpp248 indexOrder.reserve(memTableEntries);
250 for (size_t i = 0; i < memTableEntries; i++)
281 for (size_t i = 0; i < memTableEntries; i++)
H A Dmpoly.cpp523 for (unsigned i = 0; i < exports->memTableEntries; i++)
H A Dexporter.cpp606 exports->memTableEntries = memEntry;
734 for (unsigned i = 0; i < memTableEntries; i++)
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h68 unsigned memTableEntries; // The number of entries in the memory table member in struct:_exportDescription

Completed in 105 milliseconds