|
@@ -10,6 +10,8 @@
|
|
|
#include <linux/fs.h>
|
|
|
#include <linux/delay.h>
|
|
|
#include <linux/root_dev.h>
|
|
|
+#include <linux/clk-provider.h>
|
|
|
+#include <linux/clocksource.h>
|
|
|
#include <linux/console.h>
|
|
|
#include <linux/module.h>
|
|
|
#include <linux/cpu.h>
|
|
@@ -449,6 +451,15 @@ void __init setup_arch(char **cmdline_p)
|
|
|
arc_unwind_init();
|
|
|
}
|
|
|
|
|
|
+/*
|
|
|
+ * Called from start_kernel() - boot CPU only
|
|
|
+ */
|
|
|
+void __init time_init(void)
|
|
|
+{
|
|
|
+ of_clk_init(NULL);
|
|
|
+ clocksource_probe();
|
|
|
+}
|
|
|
+
|
|
|
static int __init customize_machine(void)
|
|
|
{
|
|
|
if (machine_desc->init_machine)
|