Searched refs:DEREFHANDLE (Results 1 - 17 of 17) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | unix_specific.cpp | 422 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 D | save_vec.h | 49 #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 D | network.cpp | 429 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 D | timing.cpp | 304 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 D | windows_specific.cpp | 401 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 D | xwindows.cpp | 280 #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 D | run_time.cpp | 163 #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 D | poly_specific.cpp | 145 unsigned index = get_C_unsigned(taskData, DEREFHANDLE(args)->Get(0)); 148 POLYSIGNED value = getPolySigned(taskData, DEREFHANDLE(args)->Get(1));
|
H A D | sighandler.cpp | 257 DEREFHANDLE(pair)->Set(0, findHandler(sig)); 258 DEREFHANDLE(pair)->Set(1, TAGGED(sig));
|
H A D | process_env.cpp | 449 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 D | reals.cpp | 379 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 D | processes.cpp | 436 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 D | savestate.cpp | 713 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 D | basicio.cpp | 533 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 D | x86_dep.cpp | 1276 PolyObject *p = DEREFHANDLE(mutexp); 1285 DEREFHANDLE(mutexp)->Set(0, TAGGED(1));
|
H A D | arb.cpp | 134 #define DEREFLIMBHANDLE(_x) ((mp_limb_t *)DEREFHANDLE(_x)) 1176 DEREFHANDLE(result)->Set(0, divHandle->Word()); 1177 DEREFHANDLE(result)->Set(1, remHandle->Word());
|
H A D | interpret.cpp | 2085 PolyObject *p = DEREFHANDLE(mutexp); 2098 DEREFHANDLE(mutexp)->Set(0, TAGGED(1)); // Set this to released.
|
Completed in 185 milliseconds