| 20,11 → 20,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: rmstar.h,v 1.1 2003-09-17 09:13:50 giacomo Exp $ |
| CVS : $Id: rmstar.h,v 1.2 2004-09-06 10:05:23 trimarchi Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.1 $ |
| Last update: $Date: 2003-09-17 09:13:50 $ |
| Revision: $Revision: 1.2 $ |
| Last update: $Date: 2004-09-06 10:05:23 $ |
| ------------ |
| |
| Title: |
| 127,5 → 127,8 |
|---|
| int RMSTAR_setbudget(LEVEL l, PID p, int budget); |
| int RMSTAR_budget_has_thread(LEVEL l, int budget); |
| |
| void RMSTAR_set_nopreemtive_current(LEVEL l); |
| void RMSTAR_unset_nopreemtive_current(LEVEL l); |
| |
| #endif |
| |