/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 |