linux/arch/nds32/kernel/time.c
<<
>>
Prefs
   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
   7void __init time_init(void)
   8{
   9        of_clk_init(NULL);
  10        timer_probe();
  11}
  12