Searched refs:__arch_counter_get_cntvct (Results 1 – 3 of 3) sorted by relevance
108 static inline u64 __arch_counter_get_cntvct(void) in __arch_counter_get_cntvct() function119 return __arch_counter_get_cntvct(); in __arch_counter_get_cntvct_stable()
200 static __always_inline u64 __arch_counter_get_cntvct(void) in __arch_counter_get_cntvct() function
229 return __arch_counter_get_cntvct(); in arch_counter_get_cntvct()754 cnt = __arch_counter_get_cntvct(); in set_next_event()