305,6 → 305,7 |
/* Enable wcet check */ |
proc_table[p].avail_time = lev->server_Q; |
proc_table[p].wcet = lev->server_Q; |
//kern_printf("(NN:ActEcy:%d:%d)", p, lev->server_Q); |
proc_table[p].control = (proc_table[p].control & ~CONTROL_CAP); |
|
NONESTAR_public_activate(l, p, NULL); |
344,6 → 345,7 |
{ |
LEVEL l; /* the level that we register */ |
NONESTAR_level_des *lev; /* for readableness only */ |
int i=0; |
|
l = level_alloc_descriptor(sizeof(NONESTAR_level_des)); |
|
369,6 → 371,9 |
|
lev->scheduling_level = master; |
|
for(i=0; i<MAX_PROC; i++) |
lev->new_level[i] = -1; |
|
return l; |
|
} |