Searched refs:WordP (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsave_vec.h38 PolyObject *WordP() { return m_Handle.AsObjPtr(); } function in class:SaveVecEntry
49 #define DEREFHANDLE(_x) ((_x)->WordP())
50 #define DEREFWORDHANDLE(_x) ((_x)->WordP())
H A Dpolyffi.cpp196 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 Dpoly_specific.cpp207 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 Drtsentry.cpp114 PolyObject *p = refH->WordP();
174 if (!setEntryPoint(result->WordP()))
H A Dwindows_specific.cpp635 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 Drun_time.cpp198 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 Dexporter.cpp481 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 Dobjsize.cpp345 process.ScanObjectAddress(obj->WordP());
352 process.ScanObjectAddress(obj->WordP());
H A Dprofiling.cpp330 pair->WordP()->Set(0, countValue->Word());
331 pair->WordP()->Set(1, p->functionName);
H A Dnetwork.cpp602 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 Dpolystring.cpp56 #define DEREFSTRINGHANDLE(_x) ((PolyStringObject *)(_x)->WordP())
H A Dprocesses.cpp785 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 Dsavestate.cpp1504 exporter.RunExport(root->WordP());
1603 TempString fileName(args->WordP()->Get(0));
1605 ModuleStorer storer(fileName, SAVE(args->WordP()->Get(1)));
H A Dsharedata.cpp1047 result = s.RunShareData(shareRoot->WordP());
H A Dx86_dep.cpp974 PolyObject *functToCall = func->WordP();
H A Darb.cpp1923 result->WordP()->Set(0, PolyWord::FromUnsigned(p));

Completed in 88 milliseconds