1e9564df7SGuo Ren // SPDX-License-Identifier: GPL-2.0 2e9564df7SGuo Ren // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd. 3e9564df7SGuo Ren 4e9564df7SGuo Ren #include <linux/clocksource.h> 599db590bSGeert Uytterhoeven #include <linux/of_clk.h> 6e9564df7SGuo Ren time_init(void)7e9564df7SGuo Renvoid __init time_init(void) 8e9564df7SGuo Ren { 9e9564df7SGuo Ren of_clk_init(NULL); 10e9564df7SGuo Ren timer_probe(); 11e9564df7SGuo Ren } 12