Searched refs:set_best_effort_wcet (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/ | ||
| H A D | schedule_rbed.c | 278 static void set_best_effort_wcet(struct dcb *dcb) function 350 set_best_effort_wcet(todisp); |
Completed in 34 milliseconds