Searched refs:kvm_timer_init_vhe (Results 1 – 3 of 3) sorted by relevance
86 void kvm_timer_init_vhe(void);
1171 void kvm_timer_init_vhe(void) in kvm_timer_init_vhe() function
1530 kvm_timer_init_vhe(); in cpu_hyp_reinit()