| 21,11 → 21,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: tbs.h,v 1.2 2003-01-07 17:12:20 pj Exp $ |
| CVS : $Id: tbs.h,v 1.3 2003-03-13 13:39:05 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:05 $ |
| ------------ |
| |
| This file contains the aperiodic server TBS (Total Bandwidth Server) |
| 126,7 → 126,10 |
|---|
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include "ll/sys/cdefs.h" |
| |
| __BEGIN_DECLS |
| |
| /*+ flags... +*/ |
| #define TBS_DISABLE_ALL 0 |
| #define TBS_ENABLE_WCET_CHECK 1 /*+ Wcet check enabled +*/ |
| 150,5 → 153,5 |
|---|
| No control is done if the task is not a TBS task! +*/ |
| int TBS_get_nact(LEVEL l, PID p); |
| |
| |
| __END_DECLS |
| #endif |