Searched refs:mdTaskData (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dreals.h32 extern Handle real_result(TaskData *mdTaskData, double x); // Also used in "foreign.cpp"
H A Dprocess_env.cpp111 #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 Dpolystring.cpp54 #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 Dpolystring.h43 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 Dreals.cpp142 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 Dexporter.h35 extern Handle exportNative(TaskData *mdTaskData, Handle args);
36 extern Handle exportPortable(TaskData *mdTaskData, Handle args);
H A Drun_time.h82 extern void CheckAndGrowStack(TaskData *mdTaskData, POLYUNSIGNED minSize);
H A Dio_internal.h110 extern Handle make_stream_entry(TaskData *mdTaskData);
H A Dprocesses.h195 NORETURNFN(extern Handle exitThread(TaskData *mdTaskData));

Completed in 206 milliseconds