/shark/trunk/ports/first/modules/rmstar.c |
---|
767,7 → 767,7 |
lev->flag[lev->activated]|=RMSTAR_FLAG_NOPREEMPT; |
} |
void EDFSTAR_unset_nopreemtive_current(LEVEL l) { |
void RMSTAR_unset_nopreemtive_current(LEVEL l) { |
RMSTAR_level_des *lev = (RMSTAR_level_des *)(level_table[l]); |