/shark/trunk/ports/first/include/fsf_server.h |
---|
1,8 → 1,8 |
#ifndef _FSF_SERVER_H_ |
#define _FSF_SERVER_H_ |
//#define FSF_GRUBSTAR |
#define FSF_CBSSTAR |
#define FSF_GRUBSTAR |
//#define FSF_CBSSTAR |
int fsf_get_server_level(void); |
int fsf_get_remain_budget(fsf_server_id_t ); |