| /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; |