3 * David Feng <fenghua@phytium.com.cn>
5 * SPDX-License-Identifier: GPL-2.0+
10 #include <asm/system.h>
13 * Generic timer implementation of get_tbclk()
15 unsigned long get_tbclk(void)
18 asm volatile("mrs %0, cntfrq_el0" : "=r" (cntfrq));
23 * Generic timer implementation of timer_read_counter()
25 unsigned long timer_read_counter(void)
29 asm volatile("mrs %0, cntpct_el0" : "=r" (cntpct));