Searched refs:__kvm_timer_set_cntvoff (Results 1 – 4 of 4) sorted by relevance
24 void __hyp_text __kvm_timer_set_cntvoff(u32 cntvoff_low, u32 cntvoff_high) in __kvm_timer_set_cntvoff() function
69 extern void __kvm_timer_set_cntvoff(u32 cntvoff_low, u32 cntvoff_high);
62 extern void __kvm_timer_set_cntvoff(u32 cntvoff_low, u32 cntvoff_high);
444 kvm_call_hyp(__kvm_timer_set_cntvoff, low, high); in set_cntvoff()
