Process scheduler (public interface). More...
Go to the source code of this file.
Process scheduler (public interface).
Definition in file kern/irq.h.