| 144,7 → 144,6 |
|---|
| // TABLE_DRIVEN : struct timespec (schedule duration) |
| |
| |
| |
| // Error codes |
| #define FSF_ERR_TOO_MANY_TASKS 0x02003001 |
| #define FSF_ERR_BAD_ARGUMENT 0x02003002 |
| 151,7 → 150,7 |
|---|
| #define FSF_ERR_INVALID_SYNCH_OBJ_HANDLE 0x02003003 |
| #define FSF_ERR_NO_RENEGOTIATION_REQUESTED 0x02003004 |
| #define FSF_ERR_CONTRACT_REJECTED 0x02003005 |
| #define FSF_ERR_NOT_SCHEDULED_CALLING_THREAD 0x02003006 |
| #define FSF_ERR_NOT_SCHEDULED_CALLING_THREAD 0x02003006 // ?? |
| #define FSF_ERR_UNBOUND_THREAD 0x02003007 |
| #define FSF_ERR_UNKNOWN_APPSCHEDULED_THREAD 0x02003008 |
| #define FSF_ERR_NOT_CONTRACTED_SERVER 0x02003009 |
| 164,13 → 163,16 |
|---|
| #define FSF_ERR_TOO_MANY_SERVERS 0x02003016 |
| #define FSF_ERR_INVALID_SCHEDULER_REPLY 0x02003017 |
| #define FSF_ERR_TOO_MANY_PENDING_REPLENISHMENTS 0x02003018 |
| #define FSF_WRN_MODULE_NOT_SUPPORTED 0x02004001 |
| |
| // New error |
| #define FSF_ERR_INVALID_SERVER 0x0200301A |
| #define FSF_ERR_SERVER_USED 0x0200301B |
| #define FSF_ERR_CREATE_SERVER 0x0200301C |
| #define FSF_ERR_CREATE_THREAD 0x0200301D |
| // added by Peppe |
| #define FSF_ERR_TIME_SPEC_IN_THE_PAST 0x02003020 //JULIO: Shall this be actually an error?? |
| |
| // added by Julio |
| #define FSF_ERR_SYSTEM_ALREADY_INITIALIZED 0x02004002 |
| #define FSF_ERR_SHARED_OBJ_ALREADY_INITIALIZED 0x02004003 |
| #define FSF_ERR_SHARED_OBJ_NOT_INITIALIZED 0x02004004 |
| #define FSF_ERR_SCHED_POLICY_NOT_COMPATIBLE 0x02004005 |
| |
| |
| #define FSF_WRN_MODULE_NOT_SUPPORTED 0x02004001 |