Searched defs:make_runnable (Results 1 - 2 of 2) sorted by path
| /barrelfish-master/kernel/ | ||
| H A D | schedule_rbed.c | 435 void make_runnable(struct dcb *dcb) function |
| H A D | schedule_rr.c | 43 void make_runnable(struct dcb *dcb) function |
Completed in 54 milliseconds