Searched refs:kvm_timer_init_vhe (Results 1 – 3 of 3) sorted by relevance
93 void kvm_timer_init_vhe(void);
1089 void kvm_timer_init_vhe(void) in kvm_timer_init_vhe() function
1350 kvm_timer_init_vhe(); in cpu_hyp_reinit()
