source: rtems/cpukit/score/src/schedulercbsgetapprovedbudget.c @ 6425dc5

4.115
Last change on this file since 6425dc5 was 04bf7cb, checked in by Ralf Corsepius <ralf.corsepius@…>, on 12/06/11 at 07:12:42

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: 888 bytes
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_Get_approved_budget (
22  Scheduler_CBS_Server_id  server_id,
23  time_t                  *approved_budget
24)
25{
26  if ( server_id >= _Scheduler_CBS_Maximum_servers )
27    return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
28  if ( !_Scheduler_CBS_Server_list[server_id] )
29    return SCHEDULER_CBS_ERROR_NOSERVER;
30
31  *approved_budget = _Scheduler_CBS_Server_list[server_id]->parameters.budget;
32  return SCHEDULER_CBS_OK;
33}
Note: See TracBrowser for help on using the repository browser.