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