| /shark/trunk/ports/first/modules/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); |
| } |