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