kern/irq.h File Reference

Process scheduler (public interface). More...

Go to the source code of this file.

---

Detailed Description

Process scheduler (public interface).

Version:

Id

proc.h 1646 2008-08-17 13:49:48Z bernie

Author:

Bernie Innocenti <bernie@codewiz.org>

Definition in file kern/irq.h.