| 14,6 → 14,7 |
|---|
| #define SERVER_get_local_scheduler_level_from_budget CBSSTAR_get_local_scheduler_level_from_budget |
| #define SERVER_get_local_scheduler_level_from_pid CBSSTAR_get_local_scheduler_level_from_pid |
| #define SERVER_getbudgetinfo CBSSTAR_getbudgetinfo |
| #define SERVER_get_last_reclaiming CBSSTAR_get_last_reclaiming |
| |
| #endif |
| |
| 28,6 → 29,7 |
|---|
| #define SERVER_get_local_scheduler_level_from_budget GRUBSTAR_get_local_scheduler_level_from_budget |
| #define SERVER_get_local_scheduler_level_from_pid GRUBSTAR_get_local_scheduler_level_from_pid |
| #define SERVER_getbudgetinfo GRUBSTAR_getbudgetinfo |
| #define SERVER_get_last_reclaiming GRUBSTAR_get_last_reclaiming |
| |
| #endif |
| |