/shark/trunk/ports/first/modules/grubstar.c/grubstar.c |
---|
959,3 → 959,9 |
else return 0; |
} |
void GRUBSTAR_getdeadline(LEVEL l, int budget, struct timespec *t) { |
GRUBSTAR_level_des *lev = (GRUBSTAR_level_des *)(level_table[l]); |
TIMESPEC_ASSIGN(t,&lev->b[budget].dline); |
} |