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