2 * This program is free software; you can redistribute it and/or modify it
3 * under the terms of the GNU General Public License version 2 as published
4 * by the Free Software Foundation.
6 * Copyright (C) 2015 Nikolay Martynov <mar.kolya@gmail.com>
7 * Copyright (C) 2015 John Crispin <john@phrozen.org>
10 #include <linux/init.h>
13 #include <linux/clk-provider.h>
14 #include <linux/clocksource.h>
18 void __init plat_time_init(void)