thread_id_t curr_tid=int_to_id(curr_thread_index);
if (enabled[curr_thread_index]==THREAD_ENABLED&&
(!have_enabled_thread_with_priority||n->has_priority(curr_tid))) {
thread_id_t curr_tid=int_to_id(curr_thread_index);
if (enabled[curr_thread_index]==THREAD_ENABLED&&
(!have_enabled_thread_with_priority||n->has_priority(curr_tid))) {