| 20,11 → 20,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: pistar.c,v 1.1 2004-09-01 08:39:33 trimarchi Exp $ |
| CVS : $Id: pistar.c,v 1.2 2004-09-02 13:18:53 trimarchi Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.1 $ |
| Last update: $Date: 2004-09-01 08:39:33 $ |
| Revision: $Revision: 1.2 $ |
| Last update: $Date: 2004-09-02 13:18:53 $ |
| ------------ |
| |
| Priority Inhertitance protocol. see pi.h for more details... |
| 51,8 → 51,8 |
|---|
| */ |
| |
| |
| #include <pistar.h> |
| |
| |
| #include <ll/ll.h> |
| #include <ll/string.h> |
| #include <ll/stdio.h> |
| 63,6 → 63,7 |
|---|
| #include <kernel/func.h> |
| #include <fsf_contract.h> |
| #include <fsf_server.h> |
| #include <pistar.h> |
| |
| #include <tracer.h> |
| |
| 360,3 → 361,7 |
|---|
| return l; |
| } |
| |
| void PISTAR_change_mutex_wcet_parameter(mutex_t *m, TIME wcet) { |
| ((PISTAR_mutex_t *)(m))->wcet=wcet; |
| } |
| |