Searched refs:cntvoff_high (Results 1 – 3 of 3) sorted by relevance
24 void __hyp_text __kvm_timer_set_cntvoff(u32 cntvoff_low, u32 cntvoff_high) in __kvm_timer_set_cntvoff() argument26 u64 cntvoff = (u64)cntvoff_high << 32 | cntvoff_low; in __kvm_timer_set_cntvoff()
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);