Searched refs:get_C_long (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | unix_specific.cpp | 398 int c = get_C_long(taskData, code->Word());
422 int pid = get_C_long(taskData, DEREFHANDLE(args)->Get(0));
423 int sig = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
484 int status = get_C_long(taskData, args->Word());
515 int resType = get_C_long(taskData, DEREFHANDLE(args)->Get(0));
516 int resVal = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
582 get_C_long(taskData, div_longc(taskData, hMillion, hTime)->Word());
584 get_C_long(taskData, rem_longc(taskData, hMillion, hTime)->Word());
641 uid_t uid = get_C_long(taskData, args->Word());
648 gid_t gid = get_C_long(taskDat
[all...] |
| H A D | arb.h | 64 #define get_C_long getPolySigned macro
|
| 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 | xwindows.cpp | 2345 int i = get_C_long(taskData, P);
2551 int bytesPerLine = get_C_long (taskData, I->bytesPerLine);
5387 *(int*)i = get_C_long(taskData, p);
5999 case CInt: T->u.i = get_C_long (taskData, v); break;
6821 int i = get_C_long(taskData, arg2);
6837 long i = get_C_long(taskData, arg2);
6894 int i = get_C_long(taskData, arg2);
6912 int x = get_C_long(taskData, arg2);
6913 int y = get_C_long(taskData, arg3);
6953 int i = get_C_long(taskDat
[all...] |
| H A D | network.cpp | 1083 int af = get_C_long(taskData, DEREFHANDLE(args)->Get(0));
1084 int type = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
1085 int proto = get_C_long(taskData, DEREFHANDLE(args)->Get(2));
|
| H A D | arb.cpp | 232 int i = (int)get_C_long(taskData, number);
260 return get_C_long(taskData, number);
276 POLYSIGNED res = get_C_long(taskData, number);
|
| H A D | basicio.cpp | 1549 long position = (long)get_C_long(taskData, DEREFWORD(args));
|
Completed in 127 milliseconds