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 }