1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /*
3 * Copyright (C) 2010, Lars-Peter Clausen <lars@metafoo.de>
4 * JZ4740 platform time support
5 */
6
7 #include <linux/clk-provider.h>
8 #include <linux/clocksource.h>
9
10 #include <asm/mach-jz4740/timer.h>
11
12 void __init plat_time_init(void)
13 {
14 of_clk_init(NULL);
15 jz4740_timer_init();
16 timer_probe();
17 }