1 // SPDX-License-Identifier: GPL-2.0-only
4 * Copyright (C) 2015 Nikolay Martynov <mar.kolya@gmail.com>
5 * Copyright (C) 2015 John Crispin <john@phrozen.org>
8 #include <linux/init.h>
11 #include <linux/of_clk.h>
12 #include <linux/clocksource.h>
16 void __init
plat_time_init(void)