* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*/
-#include <linux/clk-provider.h>
-#include <linux/clocksource.h>
#include <linux/io.h>
#include <linux/pm.h>
#include <linux/reboot.h>
asm("mcr%? p15, 0, %0, c7, c0, 4" : : "r" (0));
}
-static void __init vt8500_init_time(void)
-{
- of_clk_init(NULL);
- clocksource_of_init();
-}
-
void __init vt8500_init(void)
{
struct device_node *np;
.dt_compat = vt8500_dt_compat,
.map_io = vt8500_map_io,
.init_machine = vt8500_init,
- .init_time = vt8500_init_time,
.restart = vt8500_restart,
MACHINE_END