|
@@ -15,6 +15,7 @@
|
|
|
*
|
|
|
*/
|
|
|
|
|
|
+#include <linux/clocksource.h>
|
|
|
#include <linux/kernel.h>
|
|
|
#include <linux/init.h>
|
|
|
#include <linux/platform_device.h>
|
|
@@ -203,7 +204,7 @@ DT_MACHINE_START(TEGRA_DT, "nVidia Tegra20 (Flattened Device Tree)")
|
|
|
.init_early = tegra20_init_early,
|
|
|
.init_irq = tegra_dt_init_irq,
|
|
|
.handle_irq = gic_handle_irq,
|
|
|
- .init_time = tegra_init_timer,
|
|
|
+ .init_time = clocksource_of_init,
|
|
|
.init_machine = tegra_dt_init,
|
|
|
.init_late = tegra_dt_init_late,
|
|
|
.restart = tegra_assert_system_reset,
|