Searched defs:arch_timer_read_counter (Results 1 – 2 of 2) sorted by relevance
97 static inline u64 arch_timer_read_counter(void) in arch_timer_read_counter() function
179 u64 (*arch_timer_read_counter)(void) = arch_counter_get_cntvct; variable