| 20,11 → 20,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: pistar.c,v 1.6 2004-09-07 09:06:53 trimarchi Exp $ |
| CVS : $Id: pistar.c,v 1.7 2004-09-07 09:46:14 trimarchi Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.6 $ |
| Last update: $Date: 2004-09-07 09:06:53 $ |
| Revision: $Revision: 1.7 $ |
| Last update: $Date: 2004-09-07 09:46:14 $ |
| ------------ |
| |
| Priority Inhertitance protocol. see pi.h for more details... |
| 210,6 → 210,7 |
|---|
| 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); |