Searched refs:Make_fixed_precision (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Drun_time.h87 extern Handle Make_fixed_precision(TaskData *taskData, long);
88 extern Handle Make_fixed_precision(TaskData *taskData, unsigned long);
90 extern Handle Make_fixed_precision(TaskData *taskData, int);
91 extern Handle Make_fixed_precision(TaskData *taskData, unsigned);
94 extern Handle Make_fixed_precision(TaskData *taskData, long long);
95 extern Handle Make_fixed_precision(TaskData *taskData, unsigned long long);
H A Dunix_specific.cpp398 return Make_fixed_precision(taskData, 0); /* 0 for Unix. */
415 return Make_fixed_precision(taskData, pid);
423 return Make_fixed_precision(taskData, 0);
430 return Make_fixed_precision(taskData, pid);
437 return Make_fixed_precision(taskData, pid);
444 return Make_fixed_precision(taskData, uid);
451 return Make_fixed_precision(taskData, uid);
458 return Make_fixed_precision(taskData, gid);
465 return Make_fixed_precision(taskData, gid);
472 return Make_fixed_precision(taskDat
[all...]
H A Dbasicio.cpp259 return Make_fixed_precision(taskData, 0);
304 return Make_fixed_precision(taskData, haveRead); // Success.
364 return Make_fixed_precision(taskData, haveWritten);
408 return Make_fixed_precision(taskData, endOfStream-original);
419 return Make_fixed_precision(taskData, FILEKIND_PIPE);
423 return Make_fixed_precision(taskData, FILEKIND_TTY);
424 else return Make_fixed_precision(taskData, FILEKIND_DEV);
426 return Make_fixed_precision(taskData, FILEKIND_DIR);
428 return Make_fixed_precision(taskData, FILEKIND_FILE);
430 return Make_fixed_precision(taskDat
[all...]
H A Dwinbasicio.cpp600 return Make_fixed_precision(taskData, haveRead); // Success.
659 return Make_fixed_precision(taskData, haveWritten);
665 return Make_fixed_precision(taskData, strm->pollTest());
813 return Make_fixed_precision(taskData, 0);
825 return Make_fixed_precision(taskData, 0);
868 return Make_fixed_precision(taskData, 1);
869 else return Make_fixed_precision(taskData, 0);
968 return Make_fixed_precision(taskData, 0);
978 return Make_fixed_precision(taskData, 0);
1002 return Make_fixed_precision(taskDat
[all...]
H A Drun_time.cpp189 Handle line = Make_fixed_precision(taskData, lineNo);
332 Handle Make_fixed_precision(TaskData *taskData, int val) function
339 Handle Make_fixed_precision(TaskData *taskData, unsigned uval) function
346 Handle Make_fixed_precision(TaskData *taskData, long val) function
353 Handle Make_fixed_precision(TaskData *taskData, unsigned long uval) function
361 Handle Make_fixed_precision(TaskData *taskData, long long val) function
368 Handle Make_fixed_precision(TaskData *taskData, unsigned long long uval) function
H A Dprocess_env.cpp485 result = Make_fixed_precision(taskData, EXIT_SUCCESS);
508 result = Make_fixed_precision(taskData, EXIT_FAILURE);
597 result = Make_fixed_precision(taskData, dwResult);
634 result = Make_fixed_precision(taskData, res);
H A Dnetwork.cpp649 protocol = Make_fixed_precision(taskData, proto->p_proto);
673 port = Make_fixed_precision(taskData, ntohs(serv->s_port));
693 num = Make_fixed_precision(taskData, af->af_num);
706 num = Make_fixed_precision(taskData, sk->sk_num);
721 return Make_fixed_precision(taskData, 0);
732 return Make_fixed_precision(taskData, optVal);
1056 Handle lengthHandle = Make_fixed_precision(taskData, recvd);
1421 result = Make_fixed_precision(taskData, readable);
1451 result = Make_fixed_precision(taskData, atMark == 0 ? 0 : 1);
1924 result = Make_fixed_precision(taskDat
[all...]
H A Dwindows_specific.cpp505 result = Make_fixed_precision(taskData, dwResult);

Completed in 108 milliseconds