__arch_counter_get_cntpct_stable   96 arch/arm/include/asm/arch_timer.h static inline u64 __arch_counter_get_cntpct_stable(void)
__arch_counter_get_cntpct_stable  186 arch/arm64/include/asm/arch_timer.h static __always_inline u64 __arch_counter_get_cntpct_stable(void)