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 |