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