Searched refs:DEREFHANDLE (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp422 int pid = get_C_long(taskData, DEREFHANDLE(args)->Get(0));
423 int sig = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
508 DEREFHANDLE(result)->Set(0, typeHandle->Word());
509 DEREFHANDLE(result)->Set(1, resHandle->Word());
515 int resType = get_C_long(taskData, DEREFHANDLE(args)->Get(0));
516 int resVal = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
529 char *path = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
530 char **argl = stringListToVector(SAVE(DEREFHANDLE(args)->Get(1)));
543 char *path = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
544 char **argl = stringListToVector(SAVE(DEREFHANDLE(arg
[all...]
H A Dsave_vec.h49 #define DEREFHANDLE(_x) ((_x)->WordP()) macro
53 #define DEREFBYTEHANDLE(_x) ((byte *)DEREFHANDLE(_x))
54 #define DEREFLISTHANDLE(_x) ((ML_Cons_Cell *)DEREFHANDLE(_x))
55 #define DEREFSTREAMHANDLE(_x) ((StreamToken*)DEREFHANDLE(_x))
H A Dnetwork.cpp429 int af = get_C_int(taskData, DEREFHANDLE(args)->Get(0));
430 int type = get_C_int(taskData, DEREFHANDLE(args)->Get(1));
431 int proto = get_C_int(taskData, DEREFHANDLE(args)->Get(2));
540 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0));
541 int lTime = get_C_int(taskData, DEREFHANDLE(args)->Get(1));
613 sockaddr.sin_port = htons(get_C_ushort(taskData, DEREFHANDLE(args)->Get(0)));
615 htonl(get_C_unsigned(taskData, DEREFHANDLE(args)->Get(1)));
736 DEREFHANDLE(pair)->Set(0, str_token->Word());
737 DEREFHANDLE(pair)->Set(1, addrHandle->Word());
744 PIOSTRUCT strm = get_stream(DEREFHANDLE(arg
[all...]
H A Dtiming.cpp304 format = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
307 time.tm_year = get_C_int(taskData, DEREFHANDLE(args)->Get(1)) - 1900;
308 time.tm_mon = get_C_int(taskData, DEREFHANDLE(args)->Get(2));
309 time.tm_mday = get_C_int(taskData, DEREFHANDLE(args)->Get(3));
310 time.tm_hour = get_C_int(taskData, DEREFHANDLE(args)->Get(4));
311 time.tm_min = get_C_int(taskData, DEREFHANDLE(args)->Get(5));
312 time.tm_sec = get_C_int(taskData, DEREFHANDLE(args)->Get(6));
313 time.tm_wday = get_C_int(taskData, DEREFHANDLE(args)->Get(7));
314 time.tm_yday = get_C_int(taskData, DEREFHANDLE(args)->Get(8));
315 time.tm_isdst = get_C_int(taskData, DEREFHANDLE(arg
[all...]
H A Dwindows_specific.cpp401 get_handle(DEREFHANDLE(args)->Get(0), HE_REGISTRY);
420 get_handle(DEREFHANDLE(args)->Get(0), HE_REGISTRY);
446 get_handle(DEREFHANDLE(args)->Get(0), HE_REGISTRY);
465 get_handle(DEREFHANDLE(args)->Get(0), HE_REGISTRY);
484 get_handle(DEREFHANDLE(args)->Get(0), HE_REGISTRY);
501 get_handle(DEREFHANDLE(args)->Get(0), HE_REGISTRY);
518 get_handle(DEREFHANDLE(args)->Get(0), HE_REGISTRY);
537 get_handle(DEREFHANDLE(args)->Get(0), HE_REGISTRY);
583 DEREFHANDLE(resultHandle)->Set(0, volHandle->Word());
584 DEREFHANDLE(resultHandl
[all...]
H A Dxwindows.cpp280 #define DEREFDISPLAYHANDLE(h) ((X_Display_Object *)DEREFHANDLE(h))
281 #define DEREFWINDOWHANDLE(h) ((X_Window_Object *)DEREFHANDLE(h))
282 #define DEREFXOBJECTHANDLE(h) ((X_Object *)DEREFHANDLE(h))
309 PolyObject *pt = DEREFHANDLE(P);
685 list = SAVE(DEREFHANDLE(next));
708 list = SAVE(DEREFHANDLE(next));
733 list = SAVE(DEREFHANDLE(next));
1104 L->object = (X_Object *)DEREFHANDLE(objectHandle);
1136 #define point ((MLXPoint *)DEREFHANDLE(pointHandle))
1198 #define rect ((MLXRectangle *)DEREFHANDLE(rectHandl
[all...]
H A Drun_time.cpp163 #define DEREFEXNHANDLE(_x) ((poly_exn *)DEREFHANDLE(_x))
255 DEREFHANDLE(pair)->Set(0, pushed_name->Word());
256 DEREFHANDLE(pair)->Set(1, pushed_option->Word());
264 DEREFHANDLE(pushed_option)->Set(0, errornum->Word()); /* SOME err */
267 DEREFHANDLE(pair)->Set(0, pushed_name->Word());
268 DEREFHANDLE(pair)->Set(1, pushed_option->Word());
H A Dpoly_specific.cpp145 unsigned index = get_C_unsigned(taskData, DEREFHANDLE(args)->Get(0));
148 POLYSIGNED value = getPolySigned(taskData, DEREFHANDLE(args)->Get(1));
H A Dsighandler.cpp257 DEREFHANDLE(pair)->Set(0, findHandler(sig));
258 DEREFHANDLE(pair)->Set(1, TAGGED(sig));
H A Dprocess_env.cpp449 DEREFHANDLE(sRes)->Set(1, sVol->Word());
458 unsigned isAbs = get_C_unsigned(mdTaskData, DEREFHANDLE(args)->Get(1));
459 PolyWord volName = DEREFHANDLE(args)->Get(0);
H A Dreals.cpp379 r_arg_x.bytes[i] = DEREFHANDLE(x)->Get(0).AsObjPtr()->AsBytePtr()[i];
389 r_arg_x.bytes[i] = DEREFHANDLE(x)->Get(1).AsObjPtr()->AsBytePtr()[i];
654 int exp = get_C_int(mdTaskData, DEREFHANDLE(args)->Get(1));
H A Dprocesses.cpp436 if (UNTAGGED(DEREFHANDLE(hMutex)->Get(0)) < 0)
439 taskData->blockMutex = DEREFHANDLE(hMutex);
490 if (p && p->blockMutex == DEREFHANDLE(hMutex))
561 if (p && p->blockMutex == DEREFHANDLE(hMutex))
612 if (p && p->blockMutex == DEREFHANDLE(hMutex))
1607 newTaskData->threadObject = (ThreadObject*)DEREFHANDLE(threadId);
H A Dsavestate.cpp713 TempString fileNameBuff(Poly_string_to_T_alloc(DEREFHANDLE(args)->Get(0)));
715 unsigned newHierarchy = get_C_unsigned(taskData, DEREFHANDLE(args)->Get(1)) + 1;
1313 AutoFree<TCHAR*> fileNameBuff(Poly_string_to_T_alloc(DEREFHANDLE(args)->Get(0)));
1317 AutoFree<TCHAR*> parentNameBuff(Poly_string_to_T_alloc(DEREFHANDLE(args)->Get(1)));
1428 DEREFHANDLE(result)->Set(0, resVal->Word());
H A Dbasicio.cpp533 byte *base = DEREFHANDLE(args)->Get(0).AsObjPtr()->AsBytePtr();
802 PolyObject *strmVec = DEREFHANDLE(args)->Get(0).AsObjPtr();
803 PolyObject *bitVec = DEREFHANDLE(args)->Get(1).AsObjPtr();
887 getFileTimeFromArb(taskData, taskData->saveVec.push(DEREFHANDLE(args)->Get(2)), &ftTime);
H A Dx86_dep.cpp1276 PolyObject *p = DEREFHANDLE(mutexp);
1285 DEREFHANDLE(mutexp)->Set(0, TAGGED(1));
H A Darb.cpp134 #define DEREFLIMBHANDLE(_x) ((mp_limb_t *)DEREFHANDLE(_x))
1176 DEREFHANDLE(result)->Set(0, divHandle->Word());
1177 DEREFHANDLE(result)->Set(1, remHandle->Word());
H A Dinterpret.cpp2085 PolyObject *p = DEREFHANDLE(mutexp);
2098 DEREFHANDLE(mutexp)->Set(0, TAGGED(1)); // Set this to released.

Completed in 185 milliseconds