#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>
*/
void sysirq_setHandler(sysirq_t irq, sysirq_handler_t handler)
{
- ASSERT(irq >= 0);
ASSERT(irq < SYSIRQ_CNT);
sysirq_tab[irq].handler = handler;
}
*/
void sysirq_setEnable(sysirq_t irq, bool enable)
{
- ASSERT(irq >= 0);
ASSERT(irq < SYSIRQ_CNT);
sysirq_tab[irq].setEnable(enable);
*/
bool sysirq_enabled(sysirq_t irq)
{
- ASSERT(irq >= 0);
ASSERT(irq < SYSIRQ_CNT);
return sysirq_tab[irq].enabled;