arch_timer_get_rate 925 drivers/clocksource/arm_arch_timer.c u32 arch_timer_get_rate(void) arch_timer_get_rate 92 include/clocksource/arm_arch_timer.h static inline u32 arch_timer_get_rate(void)