| 34,7 → 34,7 |
|---|
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| * |
| * CVS : $Id: server-task.c,v 1.9 2004-11-16 09:24:45 trimarchi Exp $ |
| * CVS : $Id: server-task.c,v 1.10 2004-11-22 13:58:24 trimarchi Exp $ |
| */ |
| |
| #include "ll/i386/64bit.h" |
| 148,7 → 148,7 |
|---|
| #ifdef FSF_DEBUG |
| kern_printf("(1 - Q %ld T %ld)", server_list[i].actual_budget, server_list[i].actual_period); |
| #endif |
| if (server_list[i].d_equals_t == TRUE) |
| if (server_list[i].d_equals_t == true) |
| adjust_SERVER_budget(server_list[i].server,server_list[i].Cmin, T, T); |
| else |
| adjust_SERVER_budget(server_list[i].server,server_list[i].Cmin, T, server_list[i].deadline); |
| 161,7 → 161,7 |
|---|
| kern_printf("(2 - Q %ld T %ld)", server_list[i].actual_budget, server_list[i].actual_period); |
| #endif |
| |
| if (server_list[i].d_equals_t == TRUE) |
| if (server_list[i].d_equals_t == true) |
| adjust_SERVER_budget(server_list[i].server,server_list[i].Cmin, server_list[i].Tmin, server_list[i].Tmin); |
| else |
| adjust_SERVER_budget(server_list[i].server,server_list[i].Cmin, server_list[i].Tmin, server_list[i].deadline); |