Searched refs:Make_fixed_precision (Results 1 - 8 of 8) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | run_time.h | 87 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 D | unix_specific.cpp | 398 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 D | basicio.cpp | 259 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 D | winbasicio.cpp | 600 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 D | run_time.cpp | 189 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 D | process_env.cpp | 485 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 D | network.cpp | 649 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 D | windows_specific.cpp | 505 result = Make_fixed_precision(taskData, dwResult);
|
Completed in 61 milliseconds