source: rtems/cpukit/score/src/schedulercbsdestroyserver.c @ 04bf7cb

4.11
Last change on this file since 04bf7cb was 04bf7cb, checked in by Ralf Corsepius <ralf.corsepius@…>, on Dec 6, 2011 at 7:12:42 AM

2011-12-06 Ralf Corsépius <ralf.corsepius@…>

  • score/src/schedulercbsattachthread.c, score/src/schedulercbsdestroyserver.c, score/src/schedulercbsdetachthread.c, score/src/schedulercbsgetapprovedbudget.c, score/src/schedulercbsgetexecutiontime.c, score/src/schedulercbsgetparameters.c, score/src/schedulercbsgetremainingbudget.c, score/src/schedulercbssetparameters.c: Remove checks for server_id < 0 (server_id is unsigned).
  • Property mode set to 100644
File size: 1.0 KB
Line 
1/*
2 *  Copyright (C) 2011 Petr Benes.
3 *  Copyright (C) 2011 On-Line Applications Research Corporation (OAR).
4 *
5 *  The license and distribution terms for this file may be
6 *  found in the file LICENSE in this distribution or at
7 *  http://www.rtems.com/license/LICENSE.
8 *
9 *  $Id$
10 */
11
12#if HAVE_CONFIG_H
13#include "config.h"
14#endif
15
16#include <rtems/system.h>
17#include <rtems/config.h>
18#include <rtems/score/scheduler.h>
19#include <rtems/score/schedulercbs.h>
20
21int _Scheduler_CBS_Destroy_server (
22  Scheduler_CBS_Server_id server_id
23)
24{
25  int ret = SCHEDULER_CBS_OK;
26  rtems_id tid;
27
28  if ( server_id >= _Scheduler_CBS_Maximum_servers )
29    return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
30
31  if ( !_Scheduler_CBS_Server_list[server_id] )
32    return SCHEDULER_CBS_ERROR_NOSERVER;
33
34  if ( (tid = _Scheduler_CBS_Server_list[server_id]->task_id) != -1 )
35    ret = _Scheduler_CBS_Detach_thread ( server_id, tid );
36
37  _Workspace_Free( _Scheduler_CBS_Server_list[server_id] );
38  _Scheduler_CBS_Server_list[server_id] = NULL;
39  return ret;
40}
Note: See TracBrowser for help on using the repository browser.