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));