Searched refs:scheduler_remove (Results 1 - 12 of 12) sorted by relevance

/barrelfish-master/kernel/include/
H A Dschedule.h40 void scheduler_remove(struct dcb *dcb);
/barrelfish-master/kernel/
H A Dschedule_rr.c72 void scheduler_remove(struct dcb *dcb) function
H A Dschedule_rbed.c45 * scheduler_remove() does not finalize the current period of the task. Also,
503 void scheduler_remove(struct dcb *dcb) function
H A Dsyscall.c205 scheduler_remove(dcb);
748 scheduler_remove(dcb_current);
H A Dcap_delete.c175 scheduler_remove(dcb);
/barrelfish-master/tools/schedsim/
H A Dsimulator.c236 scheduler_remove(allptrs[id]);
272 scheduler_remove(cd);
/barrelfish-master/kernel/arch/arm/
H A Dexn.c64 scheduler_remove(dcb_current);
/barrelfish-master/kernel/arch/x86_64/
H A Dsvm_vmkit.c325 scheduler_remove(dcb);
H A Dirq.c829 scheduler_remove(dcb_current);
843 scheduler_remove(dcb_current);
852 scheduler_remove(dcb_current);
H A Dvmx_vmkit.c965 scheduler_remove(dcb);
/barrelfish-master/kernel/arch/armv8/
H A Dexn.c60 scheduler_remove(dcb_current);
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c863 scheduler_remove(dcb_current);

Completed in 101 milliseconds