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

irq.h 2506 2009-04-15 08:29:07Z duplo

Author:

Bernie Innocenti <bernie@codewiz.org>

Definition in file kern/irq.h.