rename cpuXXX_t to cpu_XXX_t
[bertos.git] / bertos / cpu / arm / drv / timer_at91.c
index e27e8a63e34e44ad8e692bcfff7cced167adde62..b3db6a0fd3d5f37aa94da2ba6bf2869bc6553987 100644 (file)
@@ -63,7 +63,9 @@
 
        INLINE void timer_hw_init(void)
        {
-               cpuflags_t flags;
+               sysirq_init();
+
+               cpu_flags_t flags;
 
                MOD_CHECK(sysirq);