Rev 253 | Go to most recent revision | Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 241 | giacomo | 1 | #ifndef _FSF_SERVER_H_ |
| 2 | #define _FSF_SERVER_H_ |
||
| 3 | |||
| 4 | #define FSF_CBSSTAR |
||
| 5 | |||
| 6 | #ifdef FSF_CBSSTAR |
||
| 7 | |||
| 8 | #include "cbsstar.h" |
||
| 9 | #define SERVER_setbudget CBSSTAR_setbudget |
||
| 10 | #define SERVER_adjust_budget CBSSTAR_adjust_budget |
||
| 11 | #define SERVER_removebudget CBSSTAR_removebudget |
||
| 12 | #define SERVER_get_local_scheduler_id_from_budget CBSSTAR_get_local_scheduler_id_from_budget |
||
| 13 | #define SERVER_get_local_scheduler_id_from_pid CBSSTAR_get_local_scheduler_id_from_pid |
||
| 14 | #define SERVER_get_local_scheduler_level_from_budget CBSSTAR_get_local_scheduler_level_from_budget |
||
| 15 | #define SERVER_get_local_scheduler_level_from_pid CBSSTAR_get_local_scheduler_level_from_pid |
||
| 16 | #define SERVER_getbudgetinfo CBSSTAR_getbudgetinfo |
||
| 17 | |||
| 18 | #endif |
||
| 19 | |||
| 20 | #ifdef FSF_GRUBSTAR |
||
| 21 | |||
| 22 | #include "grubstar.h" |
||
| 23 | #define SERVER_setbudget GRUBSTAR_setbudget |
||
| 24 | #define SERVER_adjust_budget GRUBSTAR_adjust_budget |
||
| 25 | #define SERVER_removebudget GRUBSTAR_removebudget |
||
| 26 | #define SERVER_get_local_scheduler_id_from_server GRUBSTAR_get_local_scheduler_id_from_server |
||
| 27 | #define SERVER_get_local_scheduler_id_from_pid GRUBSTAR_get_local_scheduler_id_from_pid |
||
| 28 | #define SERVER_get_local_scheduler_level_from_server GRUBSTAR_get_local_scheduler_level_from_server |
||
| 29 | #define SERVER_get_local_scheduler_level_from_pid GRUBSTAR_get_local_scheduler_level_from_pid |
||
| 30 | |||
| 31 | #endif |
||
| 32 | |||
| 33 | #endif |