diff options
Diffstat (limited to 'cpukit/score')
-rw-r--r-- | cpukit/score/src/schedulercbsattachthread.c | 2 | ||||
-rw-r--r-- | cpukit/score/src/schedulercbsdestroyserver.c | 2 | ||||
-rw-r--r-- | cpukit/score/src/schedulercbsdetachthread.c | 2 | ||||
-rw-r--r-- | cpukit/score/src/schedulercbsgetapprovedbudget.c | 2 | ||||
-rw-r--r-- | cpukit/score/src/schedulercbsgetexecutiontime.c | 2 | ||||
-rw-r--r-- | cpukit/score/src/schedulercbsgetparameters.c | 2 | ||||
-rw-r--r-- | cpukit/score/src/schedulercbsgetremainingbudget.c | 2 | ||||
-rw-r--r-- | cpukit/score/src/schedulercbssetparameters.c | 2 |
8 files changed, 8 insertions, 8 deletions
diff --git a/cpukit/score/src/schedulercbsattachthread.c b/cpukit/score/src/schedulercbsattachthread.c index 7796f12a6b..0643b193f4 100644 --- a/cpukit/score/src/schedulercbsattachthread.c +++ b/cpukit/score/src/schedulercbsattachthread.c @@ -28,7 +28,7 @@ int _Scheduler_CBS_Attach_thread ( Thread_Control *the_thread; Scheduler_CBS_Per_thread *sched_info; - if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers ) + if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; the_thread = _Thread_Get(task_id, &location); diff --git a/cpukit/score/src/schedulercbsdestroyserver.c b/cpukit/score/src/schedulercbsdestroyserver.c index 85867cf7dc..2b11922812 100644 --- a/cpukit/score/src/schedulercbsdestroyserver.c +++ b/cpukit/score/src/schedulercbsdestroyserver.c @@ -25,7 +25,7 @@ int _Scheduler_CBS_Destroy_server ( int ret = SCHEDULER_CBS_OK; rtems_id tid; - if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers ) + if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; if ( !_Scheduler_CBS_Server_list[server_id] ) diff --git a/cpukit/score/src/schedulercbsdetachthread.c b/cpukit/score/src/schedulercbsdetachthread.c index 6ac8881ae0..71e2214e61 100644 --- a/cpukit/score/src/schedulercbsdetachthread.c +++ b/cpukit/score/src/schedulercbsdetachthread.c @@ -33,7 +33,7 @@ int _Scheduler_CBS_Detach_thread ( _Thread_Enable_dispatch(); } - if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers ) + if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; if ( !the_thread ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; diff --git a/cpukit/score/src/schedulercbsgetapprovedbudget.c b/cpukit/score/src/schedulercbsgetapprovedbudget.c index 14db13031f..369d39378a 100644 --- a/cpukit/score/src/schedulercbsgetapprovedbudget.c +++ b/cpukit/score/src/schedulercbsgetapprovedbudget.c @@ -23,7 +23,7 @@ int _Scheduler_CBS_Get_approved_budget ( time_t *approved_budget ) { - if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers ) + if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; if ( !_Scheduler_CBS_Server_list[server_id] ) return SCHEDULER_CBS_ERROR_NOSERVER; diff --git a/cpukit/score/src/schedulercbsgetexecutiontime.c b/cpukit/score/src/schedulercbsgetexecutiontime.c index 2461d76816..5cea3101c0 100644 --- a/cpukit/score/src/schedulercbsgetexecutiontime.c +++ b/cpukit/score/src/schedulercbsgetexecutiontime.c @@ -27,7 +27,7 @@ int _Scheduler_CBS_Get_execution_time ( Objects_Locations location; Thread_Control *the_thread; - if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers ) + if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; if ( !_Scheduler_CBS_Server_list[server_id] ) return SCHEDULER_CBS_ERROR_NOSERVER; diff --git a/cpukit/score/src/schedulercbsgetparameters.c b/cpukit/score/src/schedulercbsgetparameters.c index 450afd0d68..9bbedfbde2 100644 --- a/cpukit/score/src/schedulercbsgetparameters.c +++ b/cpukit/score/src/schedulercbsgetparameters.c @@ -23,7 +23,7 @@ int _Scheduler_CBS_Get_parameters ( Scheduler_CBS_Parameters *params ) { - if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers ) + if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; if ( !_Scheduler_CBS_Server_list[server_id] ) return SCHEDULER_CBS_ERROR_NOSERVER; diff --git a/cpukit/score/src/schedulercbsgetremainingbudget.c b/cpukit/score/src/schedulercbsgetremainingbudget.c index 664c7e1bc4..bb394c87f1 100644 --- a/cpukit/score/src/schedulercbsgetremainingbudget.c +++ b/cpukit/score/src/schedulercbsgetremainingbudget.c @@ -26,7 +26,7 @@ int _Scheduler_CBS_Get_remaining_budget ( Objects_Locations location; Thread_Control *the_thread; - if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers ) + if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; if ( !_Scheduler_CBS_Server_list[server_id] ) return SCHEDULER_CBS_ERROR_NOSERVER; diff --git a/cpukit/score/src/schedulercbssetparameters.c b/cpukit/score/src/schedulercbssetparameters.c index 4268110364..99f80635b4 100644 --- a/cpukit/score/src/schedulercbssetparameters.c +++ b/cpukit/score/src/schedulercbssetparameters.c @@ -23,7 +23,7 @@ int _Scheduler_CBS_Set_parameters ( Scheduler_CBS_Parameters *params ) { - if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers ) + if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; if ( params->budget <= 0 || |