/shark/trunk/ports/first/modules/cbsstar.c |
---|
612,7 → 612,7 |
} |
int CBSSTAR_get_last_reclaiming(LEVEL l) |
int CBSSTAR_get_last_reclaiming(LEVEL l, PID p) |
{ |
return 0; |
/shark/trunk/ports/first/modules/grubstar.c |
---|
163,11 → 163,6 |
event_need_reschedule(); |
b->flags = GRUBSTAR_RECLAIMING; |
lev->Uf -= b->Ub; |
#ifdef GRUBSTAR_DEBUG |
kern_printf("U=%u, Uf=%u",lev->U, lev->Uf); |
#endif |
} |
#ifdef GRUBSTAR_DEBUG |
299,6 → 294,11 |
if (b->current == p) { |
if ( TIMESPEC_A_LT_B(&b->dline, &schedule_time)) { |
#ifdef GRUBSTAR_DEBUG |
kern_printf("(GS:Eli:%d)",p); |
#endif |
if (lev->cap_lev!=NIL) { |
kern_event_delete(lev->cap_lev); |
lev->cap_lev=NIL; |