RTEMS 6.1-rc6
|
This source file contains the implementation of _Scheduler_CBS_Get_remaining_budget(). More...
Functions | |
int | _Scheduler_CBS_Get_remaining_budget (Scheduler_CBS_Server_id server_id, time_t *remaining_budget) |
Retrieves remaining budget for the current server instance. | |
This source file contains the implementation of _Scheduler_CBS_Get_remaining_budget().