1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3 * (C) Copyright 2012-2014
4 * Texas Instruments Incorporated, <www.ti.com>
5 */
6
7 #include <common.h>
8 #include <asm/io.h>
9 #include <div64.h>
10 #include <bootstage.h>
11
12 DECLARE_GLOBAL_DATA_PTR;
13
14 #ifndef CONFIG_SYS_HZ_CLOCK
read_cntfrq(void)15 static inline u32 read_cntfrq(void)
16 {
17 u32 frq;
18
19 asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (frq));
20 return frq;
21 }
22 #endif
23
timer_init(void)24 int timer_init(void)
25 {
26 gd->arch.tbl = 0;
27 gd->arch.tbu = 0;
28
29 #ifdef CONFIG_SYS_HZ_CLOCK
30 gd->arch.timer_rate_hz = CONFIG_SYS_HZ_CLOCK;
31 #else
32 gd->arch.timer_rate_hz = read_cntfrq();
33 #endif
34 return 0;
35 }
36
get_ticks(void)37 unsigned long long get_ticks(void)
38 {
39 ulong nowl, nowu;
40
41 asm volatile("mrrc p15, 0, %0, %1, c14" : "=r" (nowl), "=r" (nowu));
42
43 gd->arch.tbl = nowl;
44 gd->arch.tbu = nowu;
45
46 return (((unsigned long long)gd->arch.tbu) << 32) | gd->arch.tbl;
47 }
48
49
timer_get_boot_us(void)50 ulong timer_get_boot_us(void)
51 {
52 return lldiv(get_ticks(), gd->arch.timer_rate_hz / 1000000);
53 }
54
get_tbclk(void)55 ulong get_tbclk(void)
56 {
57 return gd->arch.timer_rate_hz;
58 }
59