Searched refs:WordP (Results 1 - 16 of 16) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | save_vec.h | 38 PolyObject *WordP() { return m_Handle.AsObjPtr(); } function in class:SaveVecEntry 49 #define DEREFHANDLE(_x) ((_x)->WordP()) 50 #define DEREFWORDHANDLE(_x) ((_x)->WordP())
|
H A D | polyffi.cpp | 196 void *mem = *(void**)(args->WordP()); 249 HMODULE hMod = *(HMODULE*)(args->WordP()); 253 void *lib = *(void**)(args->WordP()); 266 TempCString symName(args->WordP()->Get(1)); 268 HMODULE hMod = *(HMODULE*)(args->WordP()->Get(0).AsAddress()); 278 void *lib = *(void**)(args->WordP()->Get(0).AsAddress()); 314 ffi_type *ffit = *(ffi_type**)(args->WordP()); 320 resHandle->WordP()->Set(0, sizeHandle->Word()); 321 resHandle->WordP()->Set(1, alignHandle->Word()); 322 resHandle->WordP() [all...] |
H A D | poly_specific.cpp | 207 PolyObject *codeObj = args->WordP(); 222 if (! args->WordP()->IsByteObject()) 226 PolyObject *result = gMem.AllocCodeSpace(args->WordP()); 230 if (! QuickGC(taskData, args->WordP()->Length())) 308 if (!pushedArg->WordP()->IsByteObject()) 311 result = gMem.AllocCodeSpace(pushedArg->WordP()); 315 if (!QuickGC(taskData, pushedArg->WordP()->Length())) 340 PolyObject *codeObj = pushedArg->WordP();
|
H A D | rtsentry.cpp | 114 PolyObject *p = refH->WordP(); 174 if (!setEntryPoint(result->WordP()))
|
H A D | windows_specific.cpp | 635 shellEx.lpFile = Poly_string_to_T_alloc(args->WordP()->Get(0)); 636 shellEx.lpParameters = Poly_string_to_T_alloc(args->WordP()->Get(1)); 659 TCHAR *serviceName = Poly_string_to_T_alloc(args->WordP()->Get(0)); 660 TCHAR *topicName = Poly_string_to_T_alloc(args->WordP()->Get(1)); 683 command = Poly_string_to_C_alloc(args->WordP()->Get(1)); 871 LPTSTR commandName = Poly_string_to_T_alloc(args->WordP()->Get(0)); 872 LPTSTR arguments = Poly_string_to_T_alloc(args->WordP()->Get(1)); 976 TCHAR *commandName = Poly_string_to_T_alloc(args->WordP()->Get(0)); 977 TCHAR *arguments = Poly_string_to_T_alloc(args->WordP()->Get(1)); 1093 POLYUNSIGNED length = Poly_string_to_C(args->WordP() [all...] |
H A D | run_time.cpp | 198 location->WordP()->Set(0, file->Word()); // file 199 location->WordP()->Set(1, line->Word()); // startLine 200 location->WordP()->Set(2, line->Word()); // endLine 201 location->WordP()->Set(3, TAGGED(0)); // startPosition 202 location->WordP()->Set(4, TAGGED(0)); // endPosition
|
H A D | exporter.cpp | 481 virtual void Perform() { exporter->RunExport(exportRoot->WordP()); } 623 exporter(taskData, taskData->saveVec.push(args->WordP()->Get(0)), 624 taskData->saveVec.push(args->WordP()->Get(1)), extension, &exports); 629 exporter(taskData, taskData->saveVec.push(args->WordP()->Get(0)), 630 taskData->saveVec.push(args->WordP()->Get(1)), extension, &exports); 635 exporter(taskData, taskData->saveVec.push(args->WordP()->Get(0)), 636 taskData->saveVec.push(args->WordP()->Get(1)), extension, &exports); 646 exporter(taskData, taskData->saveVec.push(args->WordP()->Get(0)), 647 taskData->saveVec.push(args->WordP()->Get(1)), _T(".txt"), &exports);
|
H A D | objsize.cpp | 345 process.ScanObjectAddress(obj->WordP()); 352 process.ScanObjectAddress(obj->WordP());
|
H A D | profiling.cpp | 330 pair->WordP()->Set(0, countValue->Word()); 331 pair->WordP()->Set(1, p->functionName);
|
H A D | network.cpp | 602 PolyStringObject *psAddr = (PolyStringObject *)args->WordP(); 622 PolyStringObject *psAddr = (PolyStringObject *)args->WordP(); 631 PolyStringObject * psAddr = (PolyStringObject *)args->WordP(); 745 PolyStringObject * psAddr = (PolyStringObject *)args->WordP()->Get(1).AsObjPtr(); 759 PolyStringObject * psAddr = (PolyStringObject *)args->WordP()->Get(1).AsObjPtr(); 904 PolyStringObject * psAddr = (PolyStringObject *)args->WordP()->Get(1).AsObjPtr(); 1160 PolyStringObject * psAddr = (PolyStringObject *)args->WordP();
|
H A D | polystring.cpp | 56 #define DEREFSTRINGHANDLE(_x) ((PolyStringObject *)(_x)->WordP())
|
H A D | processes.cpp | 785 return ForkThread(ptaskData, SAVE(args->WordP()->Get(0)), 786 (Handle)0, args->WordP()->Get(1), 788 args->WordP()->Length() <= 2 ? TAGGED(0) : args->WordP()->Get(2)); 1301 taskData->threadObject = (ThreadObject*)threadId->WordP();
|
H A D | savestate.cpp | 1504 exporter.RunExport(root->WordP()); 1603 TempString fileName(args->WordP()->Get(0)); 1605 ModuleStorer storer(fileName, SAVE(args->WordP()->Get(1)));
|
H A D | sharedata.cpp | 1047 result = s.RunShareData(shareRoot->WordP());
|
H A D | x86_dep.cpp | 974 PolyObject *functToCall = func->WordP();
|
H A D | arb.cpp | 1923 result->WordP()->Set(0, PolyWord::FromUnsigned(p));
|
Completed in 88 milliseconds