timer: check for initialization of irq module when it is enabled

[bertos.git] / bertos / kern / msg.h

diff --git a/bertos/kern/msg.h b/bertos/kern/msg.h
index 25b7a4ef06b8079e494ac806c5834b31574bb445..0b6a556d3718c2e7e3e764e0d30eb3561f2e42dc 100644 (file)
--- a/bertos/kern/msg.h
+++ b/bertos/kern/msg.h
@@ -27,7 +27,7 @@
  * the GNU General Public License.
  *
  * Copyright 2004 Develer S.r.l. (http://www.develer.com/)
- * Copyright 1999,2001 Bernardo Innocenti <bernie@develer.com>
+ * Copyright 1999,2001 Bernie Innocenti <bernie@codewiz.org>
  *
  * -->
  *
@@ -37,7 +37,7 @@
  *
  * \version $Id$
  *
- * \author Bernardo Innocenti <bernie@develer.com>
+ * \author Bernie Innocenti <bernie@codewiz.org>
  *
  * \brief Simple inter-process messaging system
  *
@@ -180,8 +180,8 @@
 #define KERN_MSG_H
 
 #include <mware/event.h>
-#include <mware/list.h>
-
+#include <struct/list.h>
+#include <kern/proc.h>
 
 typedef struct MsgPort
 {