thread_id_t tid = int_to_id(i);
if (n->has_priority(tid)) {
DEBUG("Node (tid %d) has priority\n", i);
thread_id_t tid = int_to_id(i);
if (n->has_priority(tid)) {
DEBUG("Node (tid %d) has priority\n", i);
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))) {
return model->get_thread(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))) {
return model->get_thread(curr_tid);
}