Searched refs:arch_timer_read_counter (Results 1 – 5 of 5) sorted by relevance
90 extern u64 (*arch_timer_read_counter)(void);101 static inline u64 arch_timer_read_counter(void) in arch_timer_read_counter() function
14 #define get_cycles() arch_timer_read_counter()
19 return arch_timer_read_counter(); in arch_timer_read_counter_long()
103 cur_time = arch_timer_read_counter(); in check_rng_health()
213 arch_timer_read_counter(); in sbsa_gwdt_get_timeleft()