Searched refs:make_runnable (Results 1 - 9 of 9) sorted by path

/barrelfish-master/kernel/arch/x86_64/
H A Dentry.S389 callq make_runnable
/barrelfish-master/kernel/
H A Ddispatch.c346 make_runnable(recv);
H A Dschedule_rbed.c435 void make_runnable(struct dcb *dcb) function
613 make_runnable(i);
H A Dschedule_rr.c43 void make_runnable(struct dcb *dcb) function
H A Dstartup.c339 make_runnable(init_dcb);
H A Dsyscall.c71 make_runnable(dcb);
149 make_runnable(dcb);
215 make_runnable(dcb);
769 make_runnable(target_dcb);
H A Dwakeup.c99 make_runnable(d);
/barrelfish-master/kernel/include/
H A Dschedule.h23 void make_runnable(struct dcb *dcb);
38 * Opposite of make_runnable.
/barrelfish-master/tools/schedsim/
H A Dsimulator.c206 make_runnable(dcb);
218 make_runnable(dcb);
229 make_runnable(dcb);
244 make_runnable(allptrs[id]);

Completed in 80 milliseconds