#include <linux/time.h>
#include <linux/init.h>
#include <linux/sched.h>
+#include <linux/sched_clock.h>
#include <linux/smp.h>
#include <linux/timex.h>
#include <linux/errno.h>
#include <linux/irq.h>
#include <asm/thread_info.h>
-#include <asm/sched_clock.h>
#include <asm/stacktrace.h>
#include <asm/mach/arch.h>
#include <asm/mach/time.h>
else
clocksource_of_init();
- sched_clock_postinit();
}