4 reps_rv reps_create_server(reps_params_t *p_params, reps_sid_t *p_sid) {
5 return REPS_E_NOT_IMPLEMENTED;
8 reps_rv reps_destroy_server(reps_sid_t sid){
9 return REPS_E_NOT_IMPLEMENTED;
12 reps_rv reps_set_params(reps_sid_t sid, reps_params_t *p_params){
13 return REPS_E_NOT_IMPLEMENTED;
16 reps_rv reps_attach_thread(reps_sid_t server_id, tid_t tid){
17 return REPS_E_NOT_IMPLEMENTED;
20 reps_rv reps_get_sid(tid_t tid, reps_sid_t *p_sid){
21 return REPS_E_NOT_IMPLEMENTED;
24 reps_rv reps_detach_thread(reps_sid_t sid, tid_t tid){
25 return REPS_E_NOT_IMPLEMENTED;
28 reps_rv reps_get_exec_time (reps_sid_t sid, reps_time_t *exec_time){
29 return REPS_E_NOT_IMPLEMENTED;
32 reps_rv reps_get_params(reps_sid_t sid, reps_params_t *p_params){
33 return REPS_E_NOT_IMPLEMENTED;
36 reps_rv reps_get_curr_budget(reps_sid_t sid, reps_time_t *curr_budget){
37 return REPS_E_NOT_IMPLEMENTED;
40 reps_rv reps_reserve_spare(reps_params_t *p_params){
41 return REPS_E_NOT_IMPLEMENTED;
44 reps_rv reps_get_appr_budget (reps_sid_t sid, reps_time_t *appr_budget){
45 return REPS_E_NOT_IMPLEMENTED;
48 reps_rv reps_init(void){
52 reps_rv reps_cleanup(void){