Searched refs:arch_timer_get_rate (Results 1 – 5 of 5) sorted by relevance
28 arch_delay_timer.freq = arch_timer_get_rate(); in arch_timer_delay_timer_register()34 u32 arch_timer_rate = arch_timer_get_rate(); in arch_timer_arch_init()
89 extern u32 arch_timer_get_rate(void);96 static inline u32 arch_timer_get_rate(void) in arch_timer_get_rate() function
64 arch_timer_rate = arch_timer_get_rate(); in time_init()
86 u64 ratio, ref_rate = arch_timer_get_rate(); in freq_inv_set_max_ratio()
885 u32 arch_timer_get_rate(void) in arch_timer_get_rate() function