17 #ifdef POK_NEEDS_ARINC653_PROCESS
19 #include <arinc653/arincutils.h>
20 #include <libc/string.h>
26 uint32_t process_name_exist (PROCESS_NAME_TYPE *process_name)
30 for (i = 0; i < POK_CONFIG_NB_THREADS; i++)
31 if (!strcmp(*process_name, arinc_process_attribute[i].NAME))