| 20,11 → 20,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: edfstar.h,v 1.2 2003-10-07 10:49:54 giacomo Exp $ |
| CVS : $Id: edfstar.h,v 1.3 2004-09-01 08:44:55 trimarchi Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.2 $ |
| Last update: $Date: 2003-10-07 10:49:54 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2004-09-01 08:44:55 $ |
| ------------ |
| |
| Title: |
| 142,5 → 142,8 |
|---|
| int EDFSTAR_setbudget(LEVEL l, PID p, int budget); |
| int EDFSTAR_budget_has_thread(LEVEL l, int budget); |
| |
| void EDFSTAR_set_nopreemtive_current(LEVEL l); |
| void EDFSTAR_unset_nopreemtive_current(LEVEL l); |
| |
| #endif |
| |