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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h74 } exportDescription; typedef in typeref:struct:_exportDescription
76 extern exportDescription poly_exports;
103 LPSTR lpCmdLine, int nCmdShow, exportDescription *exports);
105 int polymain(int argc, char *argv[], exportDescription *exports);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dmpoly.h51 extern int polymain(int argc, TCHAR **argv, exportDescription *exports);
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;
410 createStructsRelocation(memTableEntries, offsetof(exportDescription, memTable));
416 createStructsRelocation(rootAddrArea, offsetof(exportDescription, rootFunction));
422 sizeof(exportDescription) + i * sizeof(memoryTableEntry) + offsetof(memoryTableEntry, mtAddr));
474 exportDescription exports;
476 exports.structLength = sizeof(exportDescription);
479 exports.memTable = (memoryTableEntry *)sizeof(exportDescription); // I
[all...]
H A Delfexport.cpp655 POLYSIGNED memTableOffset = (POLYSIGNED)sizeof(exportDescription); // It follows immediately after this.
656 createStructsRelocation(AreaToSym(memTableEntries), offsetof(exportDescription, memTable), memTableOffset);
661 createStructsRelocation(AreaToSym(rootAddrArea), offsetof(exportDescription, rootFunction), rootOffset);
667 sizeof(exportDescription) + i * sizeof(memoryTableEntry) + offsetof(memoryTableEntry, mtAddr),
692 sizeof(exportDescription)+sizeof(memoryTableEntry)*memTableEntries,
712 exportDescription exports;
714 exports.structLength = sizeof(exportDescription);
733 sections[sect_table_data].sh_size = sizeof(exportDescription) + memTableEntries*sizeof(memoryTableEntry);
H A Dpecoffexport.cpp204 exportDescription exports;
312 reloc.VirtualAddress = offsetof(exportDescription, memTable);
320 reloc.VirtualAddress = offsetof(exportDescription, rootFunction);
329 sizeof(exportDescription) + i * sizeof(memoryTableEntry) + offsetof(memoryTableEntry, mtAddr);
346 exports.structLength = sizeof(exportDescription);
H A Dmpoly.cpp92 static void InitHeaderFromExport(exportDescription *exports);
206 int polymain(int argc, TCHAR **argv, exportDescription *exports)
499 void InitHeaderFromExport(exportDescription *exports)
503 if (exports->structLength != sizeof(exportDescription) ||
H A DConsole.cpp727 exportDescription *exports = (exportDescription *)lpParameter;
748 exportDescription *exports

Completed in 92 milliseconds