Searched refs:kvm_timer_init_vhe (Results 1 – 3 of 3) sorted by relevance
91 void kvm_timer_init_vhe(void);
876 void kvm_timer_init_vhe(void) in kvm_timer_init_vhe() function
1354 kvm_timer_init_vhe(); in cpu_hyp_reinit()