- while(true) {
- curr_thread_index = (curr_thread_index+1) % enabled_len;
- 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))) {
+ while (true) {
+ curr_thread_index = (curr_thread_index + 1) % enabled_len;
+ 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))) {