| /shark/trunk/ports/first/include/fsf_contract.h |
|---|
| 21,6 → 21,7 |
| #include "edfstar.h" |
| #include "rmstar.h" |
| #include "posixstar.h" |
| #include "mpegstar.h" |
| #ifndef _FSF_CONTRACT_H_ |
| #define _FSF_CONTRACT_H_ |
| 63,6 → 64,7 |
| #define FSF_SCHEDULER_POSIX 0 |
| #define FSF_SCHEDULER_EDF 1 |
| #define FSF_SCHEDULER_RM 2 |
| #define FSF_SCHEDULER_MPEG 3 |
| // Constants for assigning default values |
| #define FSF_DEFAULT_WORKLOAD FSF_INDETERMINATE |
| /shark/trunk/ports/first/include/mpegstar.h |
|---|
| 43,7 → 43,11 |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| LEVEL MPEGSTAR_register_level(); |
| LEVEL MPEGSTAR_register_level(int master); |
| int MPEGSTAR_setbudget(LEVEL l, PID p, int budget); |
| int MPEGSTAR_getbudget(LEVEL l, PID p); |
| int MPEGSTAR_budget_has_thread(LEVEL l, int budget); |
| #endif |