Searched refs:schedule_now (Results 1 - 5 of 5) sorted by last modified time

/barrelfish-master/kernel/
H A Dwakeup.c100 schedule_now(d);
H A Dschedule_rbed.c426 void schedule_now(struct dcb *dcb) function
H A Ddispatch.c348 schedule_now(recv);
/barrelfish-master/kernel/include/
H A Dschedule.h27 void schedule_now(struct dcb *dcb);
/barrelfish-master/kernel/arch/x86_64/
H A Dsyscall.c1708 schedule_now(dcb);

Completed in 51 milliseconds