18,11 → 18,11 |
|
/** |
------------ |
CVS : $Id: edfstar.c,v 1.3 2003-09-11 15:42:01 giacomo Exp $ |
CVS : $Id: edfstar.c,v 1.4 2003-09-17 09:43:47 giacomo Exp $ |
|
File: $File$ |
Revision: $Revision: 1.3 $ |
Last update: $Date: 2003-09-11 15:42:01 $ |
Revision: $Revision: 1.4 $ |
Last update: $Date: 2003-09-17 09:43:47 $ |
------------ |
**/ |
|
785,3 → 785,16 |
return lev->budget[p]; |
|
} |
|
int EDFSTAR_budget_has_thread(LEVEL l, int budget) |
{ |
|
EDFSTAR_level_des *lev = (EDFSTAR_level_des *)(level_table[l]); |
int i; |
|
for(i = 0; i< MAX_PROC; i++) |
if (lev->budget[i] == budget) return 1; |
|
return 0; |
|
} |