Searched defs:arch_timer_get_rate (Results 1 – 4 of 4) sorted by relevance
92 static inline u32 arch_timer_get_rate(void) in arch_timer_get_rate() function
95 static inline u32 arch_timer_get_rate(void) in arch_timer_get_rate() function
960 u32 arch_timer_get_rate(void) in arch_timer_get_rate() function
1074 u32 arch_timer_get_rate(void) in arch_timer_get_rate() function