Searched refs:DEREFWORD (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp1137 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 Darb.cpp287 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 Dsave_vec.h48 #define DEREFWORD(_x) ((_x)->Word()) macro
H A Dbasicio.cpp564 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 Dunix_specific.cpp806 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 Dwindows_specific.cpp307 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 Dtiming.cpp230 theTime = get_C_long(taskData, DEREFWORD(args)); /* May raise exception. */
279 theTime = get_C_long(taskData, DEREFWORD(args)); /* May raise exception. */
H A Dprocess_env.cpp169 unsigned c = get_C_unsigned(mdTaskData, DEREFWORD(code));
471 PolyWord volName = DEREFWORD(args);
H A Dnetwork.cpp1129 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 Dprocesses.cpp595 get_C_ulong(taskData, DEREFWORD(div_longc(taskData, hMillion, hWakeTime)));
597 1000*get_C_ulong(taskData, DEREFWORD(rem_longc(taskData, hMillion, hWakeTime)));
H A Dx86_dep.cpp611 ((PolyWord*)newStack)[topStack+2] = (arg == 0) ? TAGGED(0) : DEREFWORD(arg); // Argument
H A Dinterpret.cpp261 if (arg != 0) *(--this->taskSp) = DEREFWORD(arg);

Completed in 147 milliseconds