#include <linux/time.h>
#include <linux/irq.h>
#include <asm/mach/time.h>
-#include <mach/irqs.h>
+#include <mach/generic.h>
#include <mach/hardware.h>
+#include <mach/irqs.h>
#include <mach/spear.h>
-#include <mach/generic.h>
/*
* We would use TIMER0 and TIMER1 as clockevent and clocksource.