Searched refs:arch_timer_get_timecounter (Results 1 – 3 of 3) sorted by relevance
50 extern struct timecounter *arch_timer_get_timecounter(void);64 static inline struct timecounter *arch_timer_get_timecounter(void) in arch_timer_get_timecounter() function
422 timecounter = arch_timer_get_timecounter(); in kvm_timer_hyp_init()
452 struct timecounter *arch_timer_get_timecounter(void) in arch_timer_get_timecounter() function