Searched refs:rootFunction (Results 1 - 16 of 16) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | exporter.h | 47 void RunExport(PolyObject *rootFunction);
66 PolyObject *rootFunction; // Address of the root function. member in class:Exporter
|
| H A D | mpoly.cpp | 385 PolyObject *rootFunction = 0; local
390 rootFunction = (PolyObject *)exports->rootFunction;
395 rootFunction = ImportPortable(importFileName);
396 if (rootFunction == 0)
403 processes->BeginRootThread(rootFunction);
|
| H A D | pecoffexport.cpp | 316 // Address of "rootFunction" within "exports"
318 unsigned rootAddrArea = findArea(rootFunction);
320 reloc.VirtualAddress = offsetof(exportDescription, rootFunction);
350 exports.rootFunction = (void*)((char*)rootFunction - (char*)memTable[rootAddrArea].mtAddr);
|
| H A D | elfexport.cpp | 658 // Address of "rootFunction" within "exports"
659 unsigned rootAddrArea = findArea(rootFunction);
660 POLYSIGNED rootOffset = (char*)rootFunction - (char*)memTable[rootAddrArea].mtAddr;
661 createStructsRelocation(AreaToSym(rootAddrArea), offsetof(exportDescription, rootFunction), rootOffset);
720 exports.rootFunction = USE_RELA ? 0 : (void*)rootOffset;
|
| H A D | machoexport.cpp | 412 // Address of "rootFunction" within "exports"
413 unsigned rootAddrArea = findArea(rootFunction);
414 POLYUNSIGNED rootOffset = (char*)rootFunction - (char*)memTable[rootAddrArea].mtAddr;
416 createStructsRelocation(rootAddrArea, offsetof(exportDescription, rootFunction));
482 exports.rootFunction = (void*)rootOffset;
|
| H A D | processes.h | 303 virtual void BeginRootThread(PolyObject *rootFunction) = 0;
|
| H A D | exporter.cpp | 515 void Exporter::RunExport(PolyObject *rootFunction) argument
525 copiedRoot = copyScan.ScanObjectAddress(rootFunction);
607 exports->rootFunction = copiedRoot;
|
| H A D | processes.cpp | 198 void BeginRootThread(PolyObject *rootFunction);
1396 void Processes::BeginRootThread(PolyObject *rootFunction) argument
1429 taskData->InitStackFrame(taskData, taskData->saveVec.push(rootFunction), (Handle)0);
|
| H A D | pexport.cpp | 278 fprintf(exportFile, "Root\t%" PRI_SIZET "\n", getIndex(rootFunction));
|
| H A D | savestate.cpp | 1521 unsigned rootArea = findArea(this->rootFunction);
1524 modHeader.rootOffset = (char*)this->rootFunction - (char*)mt->mtAddr;
|
| /seL4-l4v-10.1.1/HOL4/polyml/ |
| H A D | polyexports.h | 70 void *rootFunction; // Points to the start-up function member in struct:_exportDescription
|
| H A D | exportPoly.sml | 59 val () = PolyML.shareCommonData PolyML.rootFunction;
60 val () = PolyML.export(fileName, PolyML.rootFunction)
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/ |
| H A D | BuildAll.sml | 39 MLCompiler.useStringIntoEnv globalTable "PolyML.rootFunction();";
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | build.sml | 144 val () = Bootstrap.use "basis/TopLevelPolyML.sml"; (* Add rootFunction to Poly/ML. *)
|
| H A D | TopLevelPolyML.sml | 1561 fun rootFunction () : unit = function
|
| H A D | FinalPolyML.sml | 37 The rootFunction has now been pulled out into a separate file and is added on
|
Completed in 182 milliseconds