Searched refs:te_state (Results 1 – 1 of 1) sorted by relevance
15 static void *te_state; variable23 te_state = nct_init(posix_arch_thread_entry); in posix_arch_init()32 nct_clean_up(te_state); in posix_arch_clean_up()38 nct_swap_threads(te_state, next_allowed_thread_nbr); in posix_swap()43 nct_first_thread_start(te_state, next_allowed_thread_nbr); in posix_main_thread_start()48 return nct_new_thread(te_state, payload); in posix_new_thread()53 nct_abort_thread(te_state, thread_idx); in posix_abort_thread()58 return nct_get_unique_thread_id(te_state, thread_idx); in posix_arch_get_unique_thread_id()