20,11 → 20,11 |
|
/** |
------------ |
CVS : $Id: pistar.c,v 1.7 2004-09-07 09:46:14 trimarchi Exp $ |
CVS : $Id: pistar.c,v 1.8 2004-09-08 16:51:34 giacomo Exp $ |
|
File: $File$ |
Revision: $Revision: 1.7 $ |
Last update: $Date: 2004-09-07 09:46:14 $ |
Revision: $Revision: 1.8 $ |
Last update: $Date: 2004-09-08 16:51:34 $ |
------------ |
|
Priority Inhertitance protocol. see pi.h for more details... |
179,6 → 179,9 |
fsf_server_id_t server; |
|
f = kern_fsave(); |
|
TRACER_LOGEVENT(FTrace_EVT_set_mutex_lock,(unsigned short int)proc_table[exec_shadow].context,(unsigned int)m); |
|
//kern_printf("(PISTAR lock)"); |
p = (PISTAR_mutex_t *)m->opt; |
if (!p) { |
210,7 → 213,6 |
kern_cli(); |
} |
fsf_get_server(&server, exec_shadow); |
if (server==-1) kern_printf("error"); |
if (fsf_get_remain_budget(server)>wcet) cond=0; |
else { |
SERVER_disable_server(fsf_get_server_level(),server); |