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