arch/nds32/kernel/time.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 // Copyright (C) 2005-2017 Andes Technology Corporation
   3
   4 #include <linux/clocksource.h>
   5 #include <linux/clk-provider.h>
   6
   7 void __init time_init(void)
   8 {
   9         of_clk_init(NULL);
  10         timer_probe();
  11 }