Searched refs:exportDescription (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | polyexports.h | 74 } 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 D | mpoly.h | 51 extern int polymain(int argc, TCHAR **argv, exportDescription *exports);
|
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; 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 D | elfexport.cpp | 655 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 D | pecoffexport.cpp | 204 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 D | mpoly.cpp | 92 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 D | Console.cpp | 727 exportDescription *exports = (exportDescription *)lpParameter; 748 exportDescription *exports
|
Completed in 92 milliseconds