| /shark/trunk/ports/first/include/edfstar.h |
|---|
| 20,11 → 20,11 |
| /** |
| ------------ |
| CVS : $Id: edfstar.h,v 1.1 2003-09-10 15:56:28 giacomo Exp $ |
| CVS : $Id: edfstar.h,v 1.2 2003-10-07 10:49:54 giacomo Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1 $ |
| Last update: $Date: 2003-09-10 15:56:28 $ |
| Revision: $Revision: 1.2 $ |
| Last update: $Date: 2003-10-07 10:49:54 $ |
| ------------ |
| Title: |
| 140,6 → 140,7 |
| int EDFSTAR_getbudget(LEVEL l, PID p); |
| int EDFSTAR_setbudget(LEVEL l, PID p, int budget); |
| int EDFSTAR_budget_has_thread(LEVEL l, int budget); |
| #endif |