#include <cfg/debug.h>
#include <cpu/irq.h>
-#include "io/lm3s.h"
-
-#include "irq_lm3s.h"
+#include <io/lm3s.h>
+#include <drv/irq_cm3.h>
#include "timer_lm3s.h"
-ISR_PROTO_CONTEXT_SWITCH(timer_handler);
-
INLINE void timer_hw_setPeriod(unsigned long period)
{
ASSERT(period < (1 << 24));