Searched refs:userOptions (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | mpoly.cpp | 97 struct _userOptions userOptions; variable in typeref:struct:_userOptions
220 memset(&userOptions, 0, sizeof(userOptions)); /* Reset it */
221 userOptions.gcthreads = 0; // Default multi-threaded
229 userOptions.programName = argv[0];
231 userOptions.programName = _T(""); // Set it to a valid empty string
236 userOptions.user_arg_count = 0;
237 userOptions.user_arg_strings = (TCHAR**)malloc(argc * sizeof(TCHAR*)); // Enough room for all of them
297 userOptions.gcthreads = _tcstol(p, &endp, 10);
350 userOptions
[all...] |
| H A D | mpoly.h | 40 } userOptions;
|
| H A D | process_env.cpp | 176 return convert_string_list(taskData, userOptions.user_arg_count, userOptions.user_arg_strings);
386 result = taskData->saveVec.push(C_string_to_Poly(taskData, userOptions.programName));
406 result = convert_string_list(taskData, userOptions.user_arg_count, userOptions.user_arg_strings);
|
| H A D | gc.cpp | 348 if (userOptions.gcthreads != 1)
350 if (! gTaskFarm.Initialise(userOptions.gcthreads, 100))
|
Completed in 81 milliseconds