Searched refs:convert_string_list (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | polystring.h | 50 extern Handle convert_string_list(TaskData *mdTaskData, int count, char **strings);
85 extern Handle convert_string_list(TaskData *mdTaskData, int count, WCHAR **strings);
|
| H A D | polystring.cpp | 201 // convert_string_list return a list of strings.
203 Handle convert_string_list(TaskData *mdTaskData, int count, WCHAR **strings) function
232 /* convert_string_list return a list of strings. */
233 Handle convert_string_list(TaskData *mdTaskData, int count, char **strings) function
|
| H A D | process_env.cpp | 176 return convert_string_list(mdTaskData, userOptions.user_arg_count, userOptions.user_arg_strings);
192 return convert_string_list(mdTaskData, env_count, environ);
|
| H A D | network.cpp | 1216 aliases = convert_string_list(taskData, i, host->h_aliases);
1246 aliases = convert_string_list(taskData, i, proto->p_aliases);
1270 aliases = convert_string_list(taskData, i, serv->s_aliases);
|
| H A D | unix_specific.cpp | 1370 membersHandle = convert_string_list(taskData, i, grp->gr_mem);
|
Completed in 104 milliseconds