Lines Matching +full:armv7 +full:- +full:timer

5  * SPDX-License-Identifier:	GPL-2.0+
11 #include <asm/arch-armv7/globaltimer.h>
21 	u64 timer;  in get_cpu_global_timer()  local
23 	u32 old = readl(&global_timer->cnt_h);  in get_cpu_global_timer()
25 		low = readl(&global_timer->cnt_l);  in get_cpu_global_timer()
26 		high = readl(&global_timer->cnt_h);  in get_cpu_global_timer()
33 	timer = high;  in get_cpu_global_timer()
34 	return (u64)((timer << 32) | low);  in get_cpu_global_timer()
39 	u64 timer = get_cpu_global_timer();  in get_time_us()  local
41 	timer = ((timer << 2) + (CLK2MHZ(CONFIG_SYS_CPU_CLK) >> 1));  in get_time_us()
42 	do_div(timer, CLK2MHZ(CONFIG_SYS_CPU_CLK));  in get_time_us()
43 	return timer;  in get_time_us()
56 	writel(0x01, &global_timer->ctl);  in timer_init()
69 	} while ((current - start) < wait);  in __udelay()
74 	return get_time_ms() - base;  in get_timer()