__arch_counter_get_cntpct 87 arch/arm/include/asm/arch_timer.h static inline u64 __arch_counter_get_cntpct(void) __arch_counter_get_cntpct 196 arch/arm64/include/asm/arch_timer.h static __always_inline u64 __arch_counter_get_cntpct(void)