Searched refs:DEREFWORD (Results 1 - 12 of 12) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | xwindows.cpp | 1137 point->x = DEREFWORD(Make_int(x)); 1138 point->y = DEREFWORD(Make_int(y)); 1199 rect->top = DEREFWORD(Make_int(top)); 1200 rect->left = DEREFWORD(Make_int(left)); 1201 rect->right = DEREFWORD(Make_int(right)); 1202 rect->bottom = DEREFWORD(Make_int(bottom)); 2427 tuple->redMax = DEREFWORD(Make_arbitrary_precision(taskData, s->red_max)); 2428 tuple->redMult = DEREFWORD(Make_arbitrary_precision(taskData, s->red_mult)); 2429 tuple->greenMax = DEREFWORD(Make_arbitrary_precision(taskData, s->green_max)); 2430 tuple->greenMult = DEREFWORD(Make_arbitrary_precisio [all...] |
H A D | arb.cpp | 287 if (IS_INT(DEREFWORD(x))) 290 POLYSIGNED x_v = UNTAGGED(DEREFWORD(x)); 314 *sign = OBJ_IS_NEGATIVE(GetLengthWord(DEREFWORD(x))) ? -1 : 0; 337 unsigned size = numLimbs(DEREFWORD(x)); 354 POLYUNSIGNED size = get_length(DEREFWORD(x)); 529 if (IS_INT(DEREFWORD(x))) 531 POLYSIGNED s = UNTAGGED(DEREFWORD(x)); 549 POLYUNSIGNED lx = numLimbs(DEREFWORD(long_x))*sizeof(mp_limb_t); 552 POLYUNSIGNED lx = get_length(DEREFWORD(long_x)); 570 mp_size_t lx = numLimbs(DEREFWORD( [all...] |
H A D | save_vec.h | 48 #define DEREFWORD(_x) ((_x)->Word()) macro
|
H A D | basicio.cpp | 564 int length = get_C_int(taskData, DEREFWORD(args)); 567 size_t length = getPolyUnsigned(taskData, DEREFWORD(args)); 580 strm = get_stream(DEREFWORD(stream)); 943 get_C_ulong(taskData, DEREFWORD(div_longc(taskData, hMillion, hTime))); 945 get_C_ulong(taskData, DEREFWORD(rem_longc(taskData, hMillion, hTime))); 1017 get_C_ulong(taskData, DEREFWORD(div_longc(taskData, hMillion, hTime))); 1019 get_C_ulong(taskData, DEREFWORD(rem_longc(taskData, hMillion, hTime))); 1403 get_C_ulong(taskData, DEREFWORD(div_longc(taskData, hMillion, hTime))); 1405 get_C_ulong(taskData, DEREFWORD(rem_longc(taskData, hMillion, hTime))); 1440 int rts = get_C_int(taskData, DEREFWORD(right [all...] |
H A D | unix_specific.cpp | 806 char *name = Poly_string_to_C_alloc(DEREFWORD(args)); 818 char *name = Poly_string_to_C_alloc(DEREFWORD(args)); 932 char *name = Poly_string_to_C_alloc(DEREFWORD(args)); 987 length = Poly_string_to_C(DEREFWORD(args), pwName, 200); 998 int uid = get_C_long(taskData, DEREFWORD(args)); 1010 length = Poly_string_to_C(DEREFWORD(args), grpName, 200); 1021 int gid = get_C_long(taskData, DEREFWORD(args)); 1337 DEREFHANDLE(result)->Set(0, DEREFWORD(pidHandle)); 1338 DEREFHANDLE(result)->Set(1, DEREFWORD(resHandle)); 2018 length = Poly_string_to_C(DEREFWORD(arg [all...] |
H A D | windows_specific.cpp | 307 unsigned c = get_C_unsigned(taskData, DEREFWORD(code)); 331 PHANDLETAB hnd = get_handle(DEREFWORD(args), HE_PROCESS); 381 unsigned i = get_C_unsigned(taskData, DEREFWORD(args)); 428 PHANDLETAB hnd = get_handle(DEREFWORD(args), HE_REGISTRY); 570 POLYUNSIGNED length = Poly_string_to_C(DEREFWORD(args), rootName, MAX_PATH); 593 POLYUNSIGNED length = Poly_string_to_C(DEREFWORD(args), fileName, MAX_PATH); 619 shellEx.lpFile = Poly_string_to_T_alloc(DEREFWORD(args));
|
H A D | timing.cpp | 230 theTime = get_C_long(taskData, DEREFWORD(args)); /* May raise exception. */ 279 theTime = get_C_long(taskData, DEREFWORD(args)); /* May raise exception. */
|
H A D | process_env.cpp | 169 unsigned c = get_C_unsigned(mdTaskData, DEREFWORD(code)); 471 PolyWord volName = DEREFWORD(args);
|
H A D | network.cpp | 1129 DEREFHANDLE(pair)->Set(0, DEREFWORD(str_token1)); 1130 DEREFHANDLE(pair)->Set(1, DEREFWORD(str_token2)); 1147 POLYUNSIGNED length = Poly_string_to_C(DEREFWORD(args), addr.sun_path, sizeof(addr.sun_path)); 1445 get_C_ulong(taskData, DEREFWORD(div_longc(taskData, hMillion, hTime))); 1447 get_C_ulong(taskData, DEREFWORD(rem_longc(taskData, hMillion, hTime)));
|
H A D | processes.cpp | 595 get_C_ulong(taskData, DEREFWORD(div_longc(taskData, hMillion, hWakeTime))); 597 1000*get_C_ulong(taskData, DEREFWORD(rem_longc(taskData, hMillion, hWakeTime)));
|
H A D | x86_dep.cpp | 611 ((PolyWord*)newStack)[topStack+2] = (arg == 0) ? TAGGED(0) : DEREFWORD(arg); // Argument
|
H A D | interpret.cpp | 261 if (arg != 0) *(--this->taskSp) = DEREFWORD(arg);
|
Completed in 147 milliseconds