Searched refs:mdTaskData (Results 1 - 9 of 9) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | reals.h | 32 extern Handle real_result(TaskData *mdTaskData, double x); // Also used in "foreign.cpp"
|
H A D | process_env.cpp | 111 #define SAVE(x) mdTaskData->saveVec.push(x) 112 #define ALLOC(n) alloc_and_save(mdTaskData, n) 167 static Handle process_env_dispatch_c(TaskData *mdTaskData, Handle args, Handle code) argument 169 unsigned c = get_C_unsigned(mdTaskData, DEREFWORD(code)); 173 return SAVE(C_string_to_Poly(mdTaskData, userOptions.programName)); 176 return convert_string_list(mdTaskData, userOptions.user_arg_count, userOptions.user_arg_strings); 181 if (buff == 0) raise_syscall(mdTaskData, "Insufficient memory", NOMEMORY); 183 if (res == NULL) raise_syscall(mdTaskData, "Not Found", 0); 184 else return SAVE(C_string_to_Poly(mdTaskData, res)); 192 return convert_string_list(mdTaskData, env_coun [all...] |
H A D | polystring.cpp | 54 #define SAVE(x) mdTaskData->saveVec.push(x) 59 PolyWord EmptyString(TaskData *mdTaskData) argument 62 PolyStringObject *result = (PolyStringObject *)(alloc(mdTaskData, 1, F_BYTE_OBJ)); 67 PolyWord C_string_to_Poly(TaskData *mdTaskData, const char *buffer, size_t buffLen) argument 70 if (buffer == NULL) return EmptyString(mdTaskData); 76 PolyStringObject *result = (PolyStringObject *)(alloc(mdTaskData, WORDS(buffLen) + 1, F_BYTE_OBJ)); 134 PolyWord C_string_to_Poly(TaskData *mdTaskData, const WCHAR *buffer, size_t buffLen) argument 137 if (buffer == NULL) return EmptyString(mdTaskData); 141 if (buffLen == 0) return EmptyString(mdTaskData); // If it's zero return empty string. 147 if (outputLen <= 0) return EmptyString(mdTaskData); 203 convert_string_list(TaskData *mdTaskData, int count, WCHAR **strings) argument 233 convert_string_list(TaskData *mdTaskData, int count, char **strings) argument 291 strconcatc(TaskData *mdTaskData, Handle y, Handle x) argument [all...] |
H A D | polystring.h | 43 extern PolyWord EmptyString(TaskData *mdTaskData); 46 extern PolyWord C_string_to_Poly(TaskData *mdTaskData, const char *buffer, size_t buffLen = -1); 50 extern Handle convert_string_list(TaskData *mdTaskData, int count, char **strings); 81 extern PolyWord C_string_to_Poly(TaskData *mdTaskData, const WCHAR *buffer, size_t buffLen = -1); 85 extern Handle convert_string_list(TaskData *mdTaskData, int count, WCHAR **strings); 115 extern Handle strconcatc(TaskData *mdTaskData, Handle x, Handle y);
|
H A D | reals.cpp | 142 static Handle Real_strc(TaskData *mdTaskData, Handle hDigits, Handle hMode, Handle arg); 143 static Handle Real_convc(TaskData *mdTaskData, Handle str); 171 Handle real_result(TaskData *mdTaskData, double x) argument 177 PolyObject *v = alloc(mdTaskData, DBLE/sizeof(PolyWord), F_BYTE_OBJ); 183 return mdTaskData->saveVec.push(v); 328 Handle Real_convc(TaskData *mdTaskData, Handle str) /* string to real */ argument 349 if (*finish != '\0') raise_exception_string(mdTaskData, EXC_conversion, ""); 351 return real_result(mdTaskData, result); 394 static Handle powerOf(TaskData *mdTaskData, Handle args) argument 402 if (y == 0.0) return real_result(mdTaskData, 1. [all...] |
H A D | exporter.h | 35 extern Handle exportNative(TaskData *mdTaskData, Handle args); 36 extern Handle exportPortable(TaskData *mdTaskData, Handle args);
|
H A D | run_time.h | 82 extern void CheckAndGrowStack(TaskData *mdTaskData, POLYUNSIGNED minSize);
|
H A D | io_internal.h | 110 extern Handle make_stream_entry(TaskData *mdTaskData);
|
H A D | processes.h | 195 NORETURNFN(extern Handle exitThread(TaskData *mdTaskData));
|
Completed in 206 milliseconds