arch/mips/cpu/mips64/time.c

   1 /*
   2  * (C) Copyright 2003
   3  * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
   4  *
   5  * SPDX-License-Identifier:     GPL-2.0+
   6  */
   7
   8 #include <common.h>
   9 #include <asm/mipsregs.h>
  10
  11 unsigned long notrace timer_read_counter(void)
  12 {
  13         return read_c0_count();
  14 }
  15
  16 ulong notrace get_tbclk(void)
  17 {
  18         return CONFIG_SYS_MIPS_TIMER_FREQ;
  19 }