727 UINT    j;  in _tx_thread_smp_execute_list_clear()  local
745     j =  ((UINT) 6);  in _tx_thread_smp_execute_list_clear()
749     while (j < ((UINT) TX_THREAD_SMP_MAX_CORES))  in _tx_thread_smp_execute_list_clear()
752     while (j < _tx_thread_smp_max_cores)  in _tx_thread_smp_execute_list_clear()
757         _tx_thread_execute_ptr[j] =  TX_NULL;  in _tx_thread_smp_execute_list_clear()
760         j++;  in _tx_thread_smp_execute_list_clear()
774 UINT    j;  in _tx_thread_smp_schedule_list_setup()  local
791     j =  ((UINT) 6);  in _tx_thread_smp_schedule_list_setup()
794     while (j < ((UINT) TX_THREAD_SMP_MAX_CORES))  in _tx_thread_smp_schedule_list_setup()
797     while (j < _tx_thread_smp_max_cores)  in _tx_thread_smp_schedule_list_setup()
802         _tx_thread_smp_schedule_list[j] =  _tx_thread_execute_ptr[j];  in _tx_thread_smp_schedule_list_setup()
805         j++;  in _tx_thread_smp_schedule_list_setup()
923 UINT    j;  in _tx_thread_smp_available_cores_get()  local
960     j =  ((UINT) 6);  in _tx_thread_smp_available_cores_get()
963     while (j < ((UINT) TX_THREAD_SMP_MAX_CORES))  in _tx_thread_smp_available_cores_get()
966     while (j < _tx_thread_smp_max_cores)  in _tx_thread_smp_available_cores_get()
971         if (_tx_thread_execute_ptr[j] == TX_NULL)  in _tx_thread_smp_available_cores_get()
973             available_cores =  available_cores | (((ULONG) 1) << j);  in _tx_thread_smp_available_cores_get()
977         j++;  in _tx_thread_smp_available_cores_get()
993 UINT    j;  in _tx_thread_smp_possible_cores_get()  local
1037     j =  ((UINT) 6);  in _tx_thread_smp_possible_cores_get()
1040     while (j < ((UINT) TX_THREAD_SMP_MAX_CORES))  in _tx_thread_smp_possible_cores_get()
1043     while (j < _tx_thread_smp_max_cores)  in _tx_thread_smp_possible_cores_get()
1048         thread_ptr =  _tx_thread_execute_ptr[j];  in _tx_thread_smp_possible_cores_get()
1055         j++;  in _tx_thread_smp_possible_cores_get()
1071 UINT    j;  in _tx_thread_smp_lowest_priority_get()  local
1133     j =  ((UINT) 6);  in _tx_thread_smp_lowest_priority_get()
1136     while (j < ((UINT) TX_THREAD_SMP_MAX_CORES))  in _tx_thread_smp_lowest_priority_get()
1139     while (j < _tx_thread_smp_max_cores)  in _tx_thread_smp_lowest_priority_get()
1144         thread_ptr =  _tx_thread_execute_ptr[j];  in _tx_thread_smp_lowest_priority_get()
1156         j++;  in _tx_thread_smp_lowest_priority_get()
1357 UINT        i, j, k;  in _tx_thread_smp_preemptable_threads_get()  local
1380     j =  ((UINT) 6);  in _tx_thread_smp_preemptable_threads_get()
1384     while (j < ((UINT) TX_THREAD_SMP_MAX_CORES))  in _tx_thread_smp_preemptable_threads_get()
1387     while (j < _tx_thread_smp_max_cores)  in _tx_thread_smp_preemptable_threads_get()
1392         possible_preemption_list[j] =  TX_NULL;  in _tx_thread_smp_preemptable_threads_get()
1395         j++;  in _tx_thread_smp_preemptable_threads_get()
1406     j =  ((UINT) 0);  in _tx_thread_smp_preemptable_threads_get()
1432                 possible_preemption_list[j] =  thread_ptr;  in _tx_thread_smp_preemptable_threads_get()
1435                 j++;  in _tx_thread_smp_preemptable_threads_get()
1444     if (j > ((UINT) 1))  in _tx_thread_smp_preemptable_threads_get()
1459             while (k < j)  in _tx_thread_smp_preemptable_threads_get()
1515         while (i < (j-((UINT) 1)));  in _tx_thread_smp_preemptable_threads_get()