1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2010, Lars-Peter Clausen <lars@metafoo.de>
4 * JZ4740 platform time support
7 #include <linux/clocksource.h>
8 #include <linux/of_clk.h>
10 #include <asm/mach-jz4740/timer.h>
12 void __init
plat_time_init(void)