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