/shark/trunk/ports/first/modules/grubstar.c |
---|
511,7 → 511,7 |
} else { |
/* we kill the current activation */ |
#ifdef GRUBSTAR_DEBUG |
kern_printf("(GS:HRExt:%d",p); |
kern_printf("(GS:HRExt:%d)",p); |
#endif |
level_table[ lev->scheduling_level ]-> |
private_extract(lev->scheduling_level, p); |