Symbol: arch_timer_get_rate
drivers/clocksource/arm_arch_timer.c
885
u32 arch_timer_get_rate(void)
include/clocksource/arm_arch_timer.h
96
static inline u32 arch_timer_get_rate(void)