|
@@ -24,9 +24,9 @@
|
|
|
#include <linux/timer.h>
|
|
|
#include <linux/clocksource.h>
|
|
|
#include <linux/irq.h>
|
|
|
+#include <linux/sched_clock.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>
|
|
@@ -120,6 +120,4 @@ void __init time_init(void)
|
|
|
machine_desc->init_time();
|
|
|
else
|
|
|
clocksource_of_init();
|
|
|
-
|
|
|
- sched_clock_postinit();
|
|
|
}
|