Searched refs:arch_timer_get_kvm_info (Results 1 – 3 of 3) sorted by relevance
89 extern struct arch_timer_kvm_info *arch_timer_get_kvm_info(void);
1125 info = arch_timer_get_kvm_info(); in kvm_timer_hyp_init()
1064 struct arch_timer_kvm_info *arch_timer_get_kvm_info(void) in arch_timer_get_kvm_info() function