| 9,8 → 9,9 |
|---|
| int fsf_settask_nopreemptive(fsf_server_id_t *server, pthread_t thread); |
| int fsf_settask_preemptive(fsf_server_id_t *server, pthread_t thread); |
| int FSF_get_shared_object_level(void); |
| void FSF_start_service_task(void); |
| int FSF_register_module(int posix_level, int server_level, bandwidth_t max_bw); |
| |
| |
| #ifdef FSF_CBSSTAR |
| |
| #include "cbsstar.h" |
| 25,6 → 26,7 |
|---|
| #define SERVER_get_last_reclaiming CBSSTAR_get_last_reclaiming |
| #define SERVER_disable_server CBSSTAR_disable_server |
| #define SERVER_get_remain_capacity CBSSTAR_get_remain_capacity |
| #define SERVER_get_renegotiation_status CBSSTAR_get_renegotiation_status |
| #endif |
| |
| #ifdef FSF_GRUBSTAR |
| 42,6 → 44,7 |
|---|
| #define SERVER_get_remain_capacity GRUBSTAR_get_remain_capacity |
| #define SERVER_return_bandwidth GRUBSTAR_return_bandwidth |
| #define SERVER_disable_server GRUBSTAR_disable_server |
| #define SERVER_get_renegotiation_status GRUBSTAR_get_renegotiation_status |
| #endif |
| |
| #endif |