Rev 253 | Rev 339 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
241 | giacomo | 1 | #ifndef _FSF_SERVER_H_ |
2 | #define _FSF_SERVER_H_ |
||
3 | |||
253 | giacomo | 4 | #define FSF_GRUBSTAR |
241 | giacomo | 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 |
||
273 | giacomo | 17 | #define SERVER_get_last_reclaiming CBSSTAR_get_last_reclaiming |
241 | giacomo | 18 | |
19 | #endif |
||
20 | |||
21 | #ifdef FSF_GRUBSTAR |
||
22 | |||
23 | #include "grubstar.h" |
||
24 | #define SERVER_setbudget GRUBSTAR_setbudget |
||
25 | #define SERVER_adjust_budget GRUBSTAR_adjust_budget |
||
26 | #define SERVER_removebudget GRUBSTAR_removebudget |
||
253 | giacomo | 27 | #define SERVER_get_local_scheduler_id_from_budget GRUBSTAR_get_local_scheduler_id_from_budget |
241 | giacomo | 28 | #define SERVER_get_local_scheduler_id_from_pid GRUBSTAR_get_local_scheduler_id_from_pid |
253 | giacomo | 29 | #define SERVER_get_local_scheduler_level_from_budget GRUBSTAR_get_local_scheduler_level_from_budget |
241 | giacomo | 30 | #define SERVER_get_local_scheduler_level_from_pid GRUBSTAR_get_local_scheduler_level_from_pid |
253 | giacomo | 31 | #define SERVER_getbudgetinfo GRUBSTAR_getbudgetinfo |
273 | giacomo | 32 | #define SERVER_get_last_reclaiming GRUBSTAR_get_last_reclaiming |
241 | giacomo | 33 | |
34 | #endif |
||
35 | |||
36 | #endif |