Symbol: __arch_counter_get_cntpct
arch/arm/include/asm/arch_timer.h
94
static inline u64 __arch_counter_get_cntpct(void)
arch/arm64/include/asm/arch_timer.h
179
static __always_inline u64 __arch_counter_get_cntpct(void)