Split cpu/cpu.h in 3 files: irq, types and attr.

[bertos.git] / cpu / arm / drv / sysirq_at91.c

diff --git a/cpu/arm/drv/sysirq_at91.c b/cpu/arm/drv/sysirq_at91.c
index e95d5a15dc49af4d01ab8b5a2ead2c0ac871f429..33e6b0cd21fb56de666624566f3ba3acb0532d2a 100644 (file)
--- a/cpu/arm/drv/sysirq_at91.c
+++ b/cpu/arm/drv/sysirq_at91.c
@@ -54,7 +54,8 @@
 
 #include "sysirq_at91.h"
 #include <io/arm.h>
-#include <cpu/cpu.h>
+#include <cpu/irq.h>
+#include <cpu/types.h>
 #include <cfg/module.h>
 #include <cfg/macros.h>
 
@@ -144,7 +145,6 @@ void sysirq_init(void)
  */
 void sysirq_setHandler(sysirq_t irq, sysirq_handler_t handler)
 {
-       ASSERT(irq >= 0);
        ASSERT(irq < SYSIRQ_CNT);
        sysirq_tab[irq].handler = handler;
 }
@@ -154,7 +154,6 @@ void sysirq_setHandler(sysirq_t irq, sysirq_handler_t handler)
  */
 void sysirq_setEnable(sysirq_t irq, bool enable)
 {
-       ASSERT(irq >= 0);
        ASSERT(irq < SYSIRQ_CNT);
 
        sysirq_tab[irq].setEnable(enable);
@@ -166,7 +165,6 @@ void sysirq_setEnable(sysirq_t irq, bool enable)
  */
 bool sysirq_enabled(sysirq_t irq)
 {
-       ASSERT(irq >= 0);
        ASSERT(irq < SYSIRQ_CNT);
 
        return sysirq_tab[irq].enabled;