| 21,11 → 21,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: edf.h,v 1.2 2003-01-07 17:12:20 pj Exp $ |
| CVS : $Id: edf.h,v 1.3 2003-03-13 13:39:04 pj Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.2 $ |
| Last update: $Date: 2003-01-07 17:12:20 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| |
| This file contains the scheduling module EDF (Earliest Deadline First) |
| 123,8 → 123,11 |
|---|
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include "ll/sys/cdefs.h" |
| |
| __BEGIN_DECLS |
| |
| |
| /*+ flags... +*/ |
| #define EDF_DISABLE_ALL 0 |
| #define EDF_ENABLE_WCET_CHECK 1 /*+ Wcet check enabled +*/ |
| 145,4 → 148,5 |
|---|
| /*+ Returns the used bandwidth of a level +*/ |
| bandwidth_t EDF_usedbandwidth(LEVEL l); |
| |
| __END_DECLS |
| #endif |