Searched refs:arch_timer_read_counter (Results 1 – 1 of 1) sorted by relevance
89 extern u64 (*arch_timer_read_counter)(void);100 static inline u64 arch_timer_read_counter(void) in arch_timer_read_counter() function