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