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